Jeff Smits

Orcid: 0000-0002-8053-8868

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023
Strategic Language Workbench Improvements.
PhD thesis, 2023

2022
Optimising First-Class Pattern Matching.
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.
J. Comput. Lang., 2020

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System.
Art Sci. Eng. Program., 2020

Gradually typing strategies.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

2017
FlowSpec: declarative dataflow analysis specification.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2011
HactarV2: An Agent Team Strategy Based on Implicit Coordination.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011


  Loading...