Jeff Smits

I am a PhD student in the Programming Languages Research Group at Delft University of Technology. My research focus is the specification of static program analysis in the form of data-flow analysis. For this purpose I’ve designed FlowSpec, a domain-specific language for the specification of data-flow analysis. FlowSpec is part of the Spoofax Language Workbench. I am supervised by Eelco Visser.


Conference articles

  • Jeff Smits, Eelco Visser. FlowSpec: declarative dataflow analysis specification. In Benoît Combemale, Marjan Mernik, Bernhard Rumpe, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 221-231, ACM, 2017. doi


  • Jeff Smits. The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end. Master’s thesis, Delft University of Technology, February 2016.