Student programmers wanted; open thesis topics available. Contact me.
News
- Apr 2019: My team moved to the Johannes Gutenberg University Mainz.
- Mar 2019: Joined the editorial board of the open-access Journal of Object Technology.
- Nov 2018: I was awarded the Distinguished Reviewer Award of SLE 2018.
- Nov 2018: We were awarded the Distinguished Paper Award for our SLE 2018 paper.
- Oct 2018: PL and SE receive generous funding from Nexperia
- Aug 2018: Dagstuhl will host our seminar on Static Methods for Correctness of Model and Program Transformations in March 2020
- July 2018: Paper about incremental build systems at ASE.
- June 2018: Paper about incremental data-flow analysis at OOPSLA.
- May 2018: Paper about compositional soundness of abstract interpreters accepted at ICFP.
- May 2018: Paper about complex event processing using algebraic effects accepted at ICFP.
- Feb 2018: I am serving as Co-Chair for ECOOP Workshops 2019.
My team works on programming tools that supply developers with actionable feedback during development. Feedback is actionable if it is relevant to the programmer's task, if the programmer can rely on its correctness, and if it arrives in a timely manner. The feedback we derive protects developers against introducing unsafe code, security vulnerabilities, and specification violations, yet it also informs development tools such as compiler optimizations and refactorings. To address this vision, we conduct basic research in programming languages, algorithms, and software verification that enables actionable feedback in a form that is useful in practice.
PhD Students: Oliver Bračevac, Sylvia Grewe, Sven Keidel, Gabriël Konat, André Pacak, Luís Eduardo Souza Amorim, Tamás Szabó
Alumni: Edlira Kuci (PhD 2019), Florian Lorenzen (PhD 2015)
I serve on the following committees:
2019
JOT (editorial board),
OOPSLA (PC),
ICFP (ERC),
GPCE (PC),
ECCOP Workshops (Chair),
LangDev Con (Orga)
2018
ASE (PC),
SLE (PC),
GPCE (PC),
Scala (Chair, Steering until 2021),
SLEBoK (PC),
SAC OOPS (PC),
NIER@ICSE (PC),
COMLAN (guest editor)
2017
GPCE (Chair, Steering until 2020, Steering Vice-Chair since 2018),
IC@PLDI (Chair),
META (PC),
PEPM (PC),
SPLASH Workshops (PC)
2016
ASE (ERP),
ECOOP (PC),
Scala (PC),
LWC (PC),
SPLASH Posters (Chair),
GPCE (PC),
LaMOD (PC),
Dagstuhl Seminar on
Incremental Computing (Chair)
2015
SLE (PC),
DSLDI (Chair),
WGP
(Chair, Steering until 2018),
Dagstuhl Seminar on DSLs (Chair)
2014
DSLDI (Chair),
PLATEAU (PC),
Parsing@SLE (Chair),
DADA (PC),
Onward (PC),
GPCE (PC, PUB),
LWC (PC)
2013
GPCE (PC),
WCRE (tool demos),
HessPL (Chair).