| 2012 | RV | Scalable Dynamic Partial Order Reduction. | Jir Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey |
| 2007 | Coordination | A Theory of Nested Speculative Execution. | Cristian Tapus, Jason Hickey |
| 2007 | PPoPP | Speculations: providing fault-tolerance and improving performance of parallel applications. | Cristian Tapus, Jason Hickey |
| 2006 | FASE | : Designing a Scalable Build Process. | Jason Hickey, Aleksey Nogin |
| 2006 | ICFP | Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
| 2006 | ISPDC | MojaveFS: Providing Sequential Consistency in a Distributed Objects System. | Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey |
| 2005 | CCGRID | Distributed synchronization with shared semaphore sets. | Cristian Tapus, Jason Hickey |
| 2005 | ICFP | A computational approach to reflective meta-reasoning about languages with bindings. | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
| 2003 | ICFP | Compiler implementation in a formal logical framework. | Jason Hickey, Aleksey Nogin, Adam Granicz |
| 1999 | CADE | Fault-Tolerant Distributed Theorem Proving. | Jason Hickey |
| 1999 | SOSP | Building reliable, high-performance communication systems from components. | Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable |
| 1999 | TACAS | Specifications and Proofs for Ensemble Layers. | Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
| 1998 | CADE | A Proof Environment for the Development of Group Communication Systems. | Christoph Kreitz, Mark Hayden, Jason Hickey |