Jeff Smits
I am a Research Software Engineer at Delft University of Technology (TU Delft), where I currently help out in the Programming Languages Research Group on the Spoofax Language Workbench and the Algorithmics Research Group on the Pumpkin CP-SAT solver. I have a PhD in Computer Science from TU Delft.
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. I’ve added a gradual type system to Stratego (which sounds a lot more final than it is in practice). I’ve also worked with Toine Hartman during his Master’s thesis project on optimising Stratego’s peculiar form of pattern matching. FlowSpec and Stratego are part of the Spoofax Language Workbench. I was formerly supervised by Eelco Visser, we miss him dearly.
Publications
2024
- Jeff Smits, Daniel A. A. Pelsmaeker. Ordering Rejectable Stacks in SGLR Parsing. Extended abstract. In SPLASH 2024: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Pages 54–56. doi
- Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirović. Conference paper. A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pages 11:1-11:20. doi
2023
- Jeff Smits. Strategic Language Workbench Improvements. Doctoral thesis, Delft University of Technology, September 2023. In IPA Dissertation Series, Entry 2023-06. pdf doi
2022
- Jeff Smits, Toine Hartman, Jesper Cockx. Optimising First-Class Pattern Matching. Conference paper. In Bernd Fischer, Lola Burgueño, Walter Cazzola, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022. pages 74–83, ACM, 2022. doi
2020
- Jeff Smits, Eelco Visser. Gradually Typing Strategies. Conference paper. In Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual, USA, November 16-17, 2020. ACM, 2020. preprint doi
- Jeff Smits, Gabriël D.P. Konat, Eelco Visser. Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. Journal article. In The Art, Science, and Engineering of Programming, 2020. Vol. 4, Issue 3, Article 16. doi
- Jeff Smits, Guido Wachsmuth, Eelco Visser. FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow Analysis. Journal article. In: Journal of Computer Language, 2020. Vol. 57, April 2020, 100924. doi
2017
- Jeff Smits, Eelco Visser. FlowSpec: declarative dataflow analysis specification. Conference paper. 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
2016
- Jeff Smits. The Static Semantics of the Green-Marl Graph Analysis Language. Master's thesis, Delft University of Technology, February 2016. repository
2013
- Marieke van der Tuin, A. Bastiaan Reijm, Tim K. de Jong and Jeff Smits. WebLab project. Bachelor’s thesis. Delft University of Technology, July 2013. repository
2011
- Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits and Koen V. Hindriks (2011). HactarV2: An Agent Team Strategy Based on Implicit Coordination. Conference paper. In Programming Multi-Agent Systems (ProMAS), Revised Selected Papers. Volume 7217. Lecture Notes in Computer Science, pages 173–184. doi
