Jeff Smits

According to our database, Jeff Smits authored at least 8 papers between 2011 and 2024.

Collaborative distances:

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

2024

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.

Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

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