Jesse D. Bingham

20 papers A* 6A 1B 7Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2016 B conf
Verifiable hierarchical protocols with network invariants on parametric systems.
FMCAD
Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin
2015 J jnl
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.
IEEE Micro
Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin
2014 A* conf
PVCoherence: Designing flat coherence protocols for scalable verification.
HPCA
Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin
2013 A* conf
Distributed Explicit State Model Checking of Deadlock Freedom.
CAV
Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet
2011 B conf
Parameterized verification of deadlock freedom in symmetric cache coherence protocols.
FMCAD
Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham
2009 B conf
Industrial strength refinement checking.
FMCAD
Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen
2008 B conf
Automatic Non-Interference Lemmas for Parameterized Model Checking.
FMCAD
Jesse D. Bingham
2007 B conf
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
VMCAI
Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu
2007 J jnl
Hybrid one-dimensional reversible cellular automata are regular.
Discret. Appl. Math.
Jesse D. Bingham, Brad D. Bingham
2006 B conf
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
VMCAI
Jesse D. Bingham, Zvonimir Rakamaric
2006 J jnl
B-Cubing: New Possibilities for Efficient SAT-Solving.
IEEE Trans. Computers
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2005 — conf
B-cubing theory: new possibilities for efficient SAT-solving.
HLDVT
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2005 A* conf
Efficient SAT solving: beyond supercubes.
DAC
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2005 A conf
Empirically Efficient Verification for a Class of Infinite-State Systems.
TACAS
Jesse D. Bingham, Alan J. Hu
2005 A* conf
Improving Multiple-CMP Systems Using Token Coherence.
HPCA
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood
2004 — conf
A New Approach to Upward-Closed Set Backward Reachability Analysis.
INFINITY
Jesse D. Bingham
2004 A* conf
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
CAV
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang
2003 B conf
Toward a decidable notion of sequential consistency.
SPAA
Jesse D. Bingham, Anne Condon, Alan J. Hu
2002 A* conf
Semi-formal Bounded Model Checking.
CAV
Jesse D. Bingham, Alan J. Hu
2000 Misc conf
Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings.
PDPTA
Jesse D. Bingham, Micaela Serra