Student programmers wanted; open thesis topics available. Contact me.


News

  • 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.
  • Apr 2018: Tamás Szabó and I will talk about incremental static analysis at Curry On 2018.
  • Feb 2018: I am serving as Co-Chair for ECOOP Workshops 2019.
  • Oct 2017: I am serving as General Chair of the Scala Symposium 2018.
  • Aug 2017: Attending Dagstuhl Seminar about The Software Language Engineering Body of Knowledge.
  • Aug 2017: Journal paper about first-order logic for language exploration accepted at SCP.

About me

  • 2016–now   TU Delft, assistant professor, tenure track
  • 2012–2016  TU Darmstadt, post-doctoral researcher, working with Mira Mezini
  • 2009–2012  University of Marburg, Doctoral degree, 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:
2019 OOPSLA (PC), ECCOP Workshops (Chair)
2018 ASE (PC), SLE (PC), GPCE (PC), Scala (Chair), SLEBoK (PC), SAC OOPS (PC), NIER@ICSE (PC), COMLAN (guest editor)
2017 GPCE (Chair), 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), 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).