Jeff Smits

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 7

Top Topics

Hybrid Approaches

Specification Language

Internal And External

Top Venues

J. Comput. Lang.

Art Sci. Eng. Program.

Publications

Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP (2024)
Jeff Smits, Toine Hartman, Jesper Cockx
Optimising First-Class Pattern Matching. SLE (2022)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. Art Sci. Eng. Program. 4 (3) (2020)
Jeff Smits, Guido Wachsmuth, Eelco Visser
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis. J. Comput. Lang. 57 (2020)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. CoRR (2020)
Jeff Smits, Eelco Visser
Gradually typing strategies. SLE (2020)
Jeff Smits, Eelco Visser
FlowSpec: declarative dataflow analysis specification. SLE (2017)
Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits, Koen V. Hindriks
HactarV2: An Agent Team Strategy Based on Implicit Coordination. ProMAS (2011)