Travelled to:1 × Denmark
1 × France
1 × Russia
1 × United Kingdom
5 × USA
Collaborated with:A.J.Hu Z.Rakamaric J.Erickson D.Babic M.Zhang D.J.Sorin B.D.Bingham M.R.Greenstreet A.Condon S.Qadeer Z.Zhang M.R.Marty M.D.Hill M.M.K.Martin D.A.Wood
Talks about:verif (4) coher (3) data (3) procedur (2) program (2) manipul (2) system (2) effici (2) state (2) model (2)
Person: Jesse D. Bingham
DBLP: Bingham:Jesse_D=
Contributed to:
2014
2013
20072006
20052005
200520042002Wrote 9 papers:
- HPCA-2014-ZhangBES #design #named #protocol #scalability #verification
- PVCoherence: Designing flat coherence protocols for scalable verification (MZ, JDB, JE, DJS), pp. 392–403.
- CAV-2013-BinghamBEG #concurrent #distributed #model checking
- Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
- VMCAI-2007-RakamaricBH #data type #source code #verification
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
- VMCAI-2006-BinghamR #abstraction #logic #source code
- A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.
- DAC-2005-BabicBH #performance #satisfiability
- Efficient SAT solving: beyond supercubes (DB, JDB, AJH), pp. 744–749.
- HPCA-2005-MartyBHHMW #multi #using
- Improving Multiple-CMP Systems Using Token Coherence (MRM, JDB, MDH, AJH, MMKM, DAW), pp. 328–339.
- TACAS-2005-BinghamH #empirical #infinity #performance #verification
- Empirically Efficient Verification for a Class of Infinite-State Systems (JDB, AJH), pp. 77–92.
- CAV-2004-BinghamCHQZ #automation #bound #consistency #verification
- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values (JDB, AC, AJH, SQ, ZZ), pp. 427–439.
- CAV-2002-BinghamH #bound #model checking
- Semi-formal Bounded Model Checking (JDB, AJH), pp. 280–294.