Registered user since Mon 3 Oct 2016
I am a PhD student in the Programming Languages Research Group at Delft University of Technology. I have various research interests around language design and compiler technology. I’ve worked on declarative specification of data-flow analysis, practical incremental compilation for existing languages, and gradual types. I’ve designed FlowSpec, a domain-specific language for the specification of data-flow analysis. For incremental compilation I’ve taken apart the compiler of the Stratego term transformation language, and reassembled it as an incremental compiler. FlowSpec and Stratego are part of the Spoofax Language Workbench. I am supervised by Eelco Visser.
|CoCoDo 2020||The Spoofax Language Workbench|
|‹Programming› 2020|| Incremental Compilation for Stratego|
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
|Show activities from other conferences|
View general profile