Student programmers wanted; open thesis topics available. Contact me.
- Jan 2016: Invited talk at PEPM Automated Reasoning about Type Systems by Compilation to First-Order Logic.
- Oct 2015: Paper accepted at POPL 2016.
- Aug 2015: Papers accepts at OOPSLA (x2), Onward (x2), and SLE.
- June 2015: Oracle Labs funds External Research Office Incremental compilation and build systems for DSLs for 12 months.
- May 2015: Paper Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers accepted at Onward.
- Jan 2015: German Research Foundation (DFG) funds new research project Evolution of Software Systems with Extensible Languages and DSLs for 3 years.
- 2012–now, TU Darmstadt, post-doctoral researcher with Mira Mezini
- 2009–2012, University of Marburg, PhD student, advised by Klaus Ostermann
- 2008–2009, BRICS, Aarhus University, PhD student, master's degree
- 2004–2008, TU Darmstadt, bachelor's degree
I am the lead developer of the extensible programming language SugarJ, which allows programmers to flexibly integrate new syntax, static analyses, and editor support by library import. SugarJ extensions are scoped via the module system and multiple extensions compose if activated in the same scope. Since SugarJ allows flexible and principled domain abstraction, it is particularly well-suited for the embedding of domain-specific languages.
My general research interests include: extensible programming languages, domain-specific languages, language design, language tooling, declarative parsing methodologies, module systems, type systems, and static analysis.
I serve on the following committees:
2016 ASE (ERP), ECOOP (PC), SPLASH Posters (Chair), GPCE (PC), LaMOD (PC)
2015 SLE (PC), DSLDI (Chair), WGP (Chair), 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).