Jesse Bingham's Publications
- J. Bingham,
``Universal Boolean Functional Vectors'',
Formal Methods in Computer-Aided Design (FMCAD) 2015.
- Jesse Bingham and Joe Leslie-Hurd,
``Verifying Relative Error Bounds Using Symbolic Simulation"''.
The 26th International Conference on Computer Aided Verification (CAV 2014), volume 8559 of Lecture Notes in Computer Science, July 2014.
- Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet: ``Distributed Explicit State Model Checking of Deadlock Freedom''.
International Conference on Computer Aided Verification (CAV) 2013: 235-241
- J. Bingham, ``Formalizing a Proof that e is Transcendental'', Journal of Formalized Reasoning, Vol 4, No 1, 2011.
- B. Bingham, J. Bingham, M. Greenstreet,
``Parameterized Verification of Deadlock Freedom in Symmetric Cache Coherence Protocols'',
Formal Methods in Computer-Aided Design (FMCAD) 2011.
- B. Bingham, J. Bingham, F. de Paula, J. Erickson, M. Reitblatt, and G. Singh,
``Industrial Strength Distributed Explicit State Model Checking'',
International Workshop on Parallel and Distributed Methods in Verification (PDMC)
2010.
- J. Bingham, J. Erickson, G. Singh, and F. Andersen,
``Industrial Strenth Refinement Checking'',
Formal Methods in Computer-Aided Design (FMCAD),
2009.
- J. Bingham
``Automatic Non-interference Lemmas for Parameterized Model Checking'',
Formal Methods in Computer Aided Design (FMCAD) 2008.
-
J. Bingham and B. Bingham,
``Hybrid one-dimensional reversible cellular automata
are regular'',
J. Discrete Applied Mathematics,
Volume 155, Issue 18, 1 November 2007, Pages 2555-2566 .
-
Z. Rakamaric, J. Bingham, and A. J. Hu,
``An Inference-Rule-Based Decision Procedure for Verification of
Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures,''
VMCAI
2007.
Here's a related tech report, though
the VMCAI paper is restructured considerably.
-
J. Bingham and Z. Rakamaric
``A Logic and Decision Procedure for Predicate Abstraction of
Heap-Manipulating Programs'',
UBC Department of Computer Science Tech Report TR-2005-19
VMCAI 2006
-
D. Babic, J. Bingham, and A. J. Hu,
``B-Cubing Theory: New Possibilities for Efficient SAT-Solving'',
Tenth International High-Level Design Validation and Test Workshop (HLDVT),
pp. 192-199,
December 2005
-
D. Babic, J. Bingham, and A. J. Hu,
``Efficient SAT Solving: Beyond Supercubes'',
42nd ACM/IEEE Design Automation Conference (DAC), 2005.
-
Jesse Bingham and Alan J. Hu,
``Empirically Efficient Verification for a Class of Infinite-State Systems'',
Eleventh International Conference on
Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
April 2005.
Here's
the extended version with proofs.
-
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M.K. Martin
and David A. Wood,
Improving Multiple-CMP Systems Using Token Coherence,
International Symposium on High
Performance Computer Architecture (HPCA),
February 2005. Download it
here.
-
Jesse Bingham
``A New Approach to Upward Closed Set
Backward Reachability Analysis''
INFINITY 2004.
-
Jesse Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, and Zhichuan Zhang,
``Automatic Verification of Sequential Consistency for
Unbounded Addresses and Data Values'' ,
16th International Conference
on Computer Aided Verification (CAV 2004).
-
Jesse D. Bingham, Anne Condon, and Alan J. Hu,
``Toward a Decidable Notion of Sequential Consistency'',
Fifteenth ACM Symposium on Parallelism in Algorithms and Architectures
(SPAA03)
June, 2003.
-
Jesse D. Bingham, and Alan J. Hu,
``Semi-Formal Bounded Model Checking,''
Computer Aided Verification: Fourteenth International Conference,
Lecture Notes in Computer Science Vol. 2404, pp. 280-294,
Springer, 2002.
-
J. Bingham and J. Muzio,
``Advanced Evolution of Nonlinear Cellular Automata for Combinational
BIST,''
Poster at: IEEE European Test Workshop,
pp. 275-280 of ETW01 Informal Digest,
Stockholm,
May 2001.
-
J. Bingham and M. Serra,
``Solving Hamiltonian Cycle on FPGA Technology via
Instance to Circuit Mapping,''
Proceedings of the International Conference on Parallel and
Distributed Processing Techniques and Applications,
pp. 209-213,
June 2000.