Jason Hemann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2026
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FLOPS | A Fine-Grained Small-Step Semantics for Interleaving Search. | Brysen Pfingsten, Jason Hemann |
| 2017 | ICLP | A Simple Complete Search for Logic Programming. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2016 | DLS | A small embedding of logic programming with a simple complete search. | Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might |
| 2013 | ICFP | Visualizing the turing tarpit. | Jason Hemann, Eric Holk |