Jesse D. Bingham

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Formal Verification

Reachability Analysis

Top Venues

Publications

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