| 2007 |
|---|
| 11 | EE | 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: 106-121 |
| 2006 |
|---|
| 10 | EE | Jesse D. Bingham,
Zvonimir Rakamaric:
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
VMCAI 2006: 207-221 |
| 9 | EE | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
B-Cubing: New Possibilities for Efficient SAT-Solving.
IEEE Trans. Computers 55(11): 1315-1324 (2006) |
| 2005 |
|---|
| 8 | EE | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
Efficient SAT solving: beyond supercubes.
DAC 2005: 744-749 |
| 7 | EE | 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: 328-339 |
| 6 | EE | Jesse D. Bingham,
Alan J. Hu:
Empirically Efficient Verification for a Class of Infinite-State Systems.
TACAS 2005: 77-92 |
| 5 | EE | Jesse D. Bingham:
A New Approach to Upward-Closed Set Backward Reachability Analysis.
Electr. Notes Theor. Comput. Sci. 138(3): 37-48 (2005) |
| 2004 |
|---|
| 4 | EE | 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: 427-439 |
| 2003 |
|---|
| 3 | EE | Jesse D. Bingham,
Anne Condon,
Alan J. Hu:
Toward a decidable notion of sequential consistency.
SPAA 2003: 304-313 |
| 2002 |
|---|
| 2 | EE | Jesse D. Bingham,
Alan J. Hu:
Semi-formal Bounded Model Checking.
CAV 2002: 280-294 |
| 2000 |
|---|
| 1 | | Jesse D. Bingham,
Micaela Serra:
Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings.
PDPTA 2000 |
