| 2016 | FMCAD | Verifiable hierarchical protocols with network invariants on parametric systems. | Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin |
| 2014 | HPCA | PVCoherence: Designing flat coherence protocols for scalable verification. | Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin |
| 2013 | CAV | Distributed Explicit State Model Checking of Deadlock Freedom. | Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet |
| 2011 | FMCAD | Parameterized verification of deadlock freedom in symmetric cache coherence protocols. | Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham |
| 2009 | FMCAD | Industrial strength refinement checking. | Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen |
| 2008 | FMCAD | Automatic Non-Interference Lemmas for Parameterized Model Checking. | Jesse D. Bingham |
| 2007 | VMCAI | An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. | Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu |
| 2006 | VMCAI | A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. | Jesse D. Bingham, Zvonimir Rakamaric |
| 2005 | DAC | Efficient SAT solving: beyond supercubes. | Domagoj Babic, Jesse D. Bingham, Alan J. Hu |
| 2005 | HPCA | Improving Multiple-CMP Systems Using Token Coherence. | Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood |
| 2005 | TACAS | Empirically Efficient Verification for a Class of Infinite-State Systems. | Jesse D. Bingham, Alan J. Hu |
| 2004 | CAV | Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang |
| 2003 | SPAA | Toward a decidable notion of sequential consistency. | Jesse D. Bingham, Anne Condon, Alan J. Hu |
| 2002 | CAV | Semi-formal Bounded Model Checking. | Jesse D. Bingham, Alan J. Hu |
| 2000 | PDPTA | Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings. | Jesse D. Bingham, Micaela Serra |