BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bingham:Jesse_D=

Contributed to:

HPCA 20142014
CAV 20132013
VMCAI 20072007
VMCAI 20062006
DAC 20052005
HPCA 20052005
TACAS 20052005
CAV 20042004
CAV 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.