Jeff Smits
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2017–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CP | A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. | Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic |
| 2022 | SLE | Optimising First-Class Pattern Matching. | Jeff Smits, Toine Hartman, Jesper Cockx |
| 2020 | SLE | Gradually typing strategies. | Jeff Smits, Eelco Visser |
| 2017 | SLE | FlowSpec: declarative dataflow analysis specification. | Jeff Smits, Eelco Visser |