Jeff Smits

According to our database, Jeff Smits authored at least 7 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Strategic Language Workbench Improvements.

Jeff Smits

PhD thesis, 2023

2022

Optimising First-Class Pattern Matching.

Jeff Smits, Toine Hartman, Jesper Cockx

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

2020

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis.

Jeff Smits, Guido Wachsmuth, Eelco Visser

J. Comput. Lang., 2020

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System.

Jeff Smits, Gabriël D. P. Konat, Eelco Visser

Art Sci. Eng. Program., 2020

Gradually typing strategies.

Jeff Smits, Eelco Visser

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

2017

FlowSpec: declarative dataflow analysis specification.

Jeff Smits, Eelco Visser

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2011

HactarV2: An Agent Team Strategy Based on Implicit Coordination.

Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits, Koen V. Hindriks

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011