[ecoop-info] Postdoc Position in Programming Language Implementation Research
ecoop at stefan-marr.de
Thu Feb 25 21:59:05 CET 2021
We are looking for a Postdoc to join our team as a full-time Research Associate for a 2-year project. The project is titled “CaMELot: Catching and Mitigating Event-Loop Concurrency Issues” and funded by an EPSRC UK research grant.
Closing Date: 17 March 2021 (end of day, UK time)
## Project Topic
Modern server applications utilize concurrency in many ways. Actors and event loops are popular as programming paradigms since they avoid low-level concurrency issues. Unfortunately, even when using actors or event loops, server applications still show other types of concurrency bugs. Though, they can be mitigated with run-time detection techniques. In the CaMELot project, we want to make detection and mitigation fast enough to be usable in production systems. This way, even though software may contain bugs, we can reduce their impact on correct execution.
Building on a system for deterministic replay of actor applications, you would investigate how one can use lightweight race detection to facilitate debugging of the underlying concurrency issues. Afterall, if we can detect the issues, we should help developers to fix them! One of the challenges here is to derive actionable insights from the detected races. A tool processing the race detection results may guide developers to fix the underlying issues, possibly replaying the problematic execution for the developers.
For more details and/or an informal discussion, please email me s.marr at kent.ac.uk and see
## Research Environment
When joining the project, you’ll also become a member of the Programming Languages and Systems (PLAS) research group. PLAS spans the breadth and depth of practical and theoretical aspects of programming languages and system building related to languages. Our work goes across paradigms (imperative, object-oriented, functional, logic) and is complemented by our systems research in concurrency, relaxed memory, verified compilation, verification, language prototypes, garbage collection, and tools. All our work is linked by a shared vision of the power and impact of programming languages on the rest of Computer Science. The PLAS group at Kent has a long history of contributions to the field and continues to be a hotbed of programming language research in the South East of England:
The School of Computing  is a welcoming, supportive, and diverse environment whose commitment to gender equality has been recognised with a Bronze Athena SWAN  award. We are keen to enhance the balanced, inclusive and diverse nature of the community within our School and would particularly encourage female candidates to apply for these posts.
The University of Kent campus overlooks the city centre of Canterbury, and with 125 nationalities represented, it has a very cosmopolitan feel. Canterbury is a small city that retains parts of its medieval walls (with Roman foundations). Famous for its heritage (Canterbury Cathedral; Chaucer’s Tales; etc), Canterbury is a vibrant community and UNESCO World Heritage site whose culture and leisure facilities are enhanced by hosting three universities. The city and surrounding region combines an attractive and affordable environment, excellent schools, and fast transport links to London and mainland Europe.
School of Computing, University of Kent
More information about the ecoop-info