Jeff Smits

Registered user since Mon 3 Oct 2016

Name: Jeff Smits

Bio: PhD student at Delft University of Technology with the Programming Languages research group. General interest in Programming Language related technologies including Parsing, Static Analysis, Static and Dynamic Semantics, etc etc. Currently looking into Static Analysis in the Control- and Data-Flow domain. First by building a Domain-Specific Language to explore the domain of flow analysis, second by leveraging this language for automatic correctness proofs, (object) language-independent analyses that can be reused easily, and a practically usable execution of flow specifications.

Country: Netherlands

Affiliation: Delft University of Technology

Research interests: Programming Languages


CoCoDo 2020Author of The Spoofax Language Workbench within the CoCoDo 2020-track
IC 2019Author of From Whole Program Compilation to Incremental Compilation: A Critical Case within the IC 2019-track
‹Programming› 2020Author of Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System within the Research Papers-track
SPLASH 2018Author of Incremental compilation for Stratego within the Posters-track
SLE 2017Author of FlowSpec: Declarative Dataflow Analysis Specification within the SLE-track