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)
- J. Bingham, J. Erickson, G. Singh, and F. Andersen,
``Industrial Strenth Refinement Checking'',
Formal Methods in Computer-Aided Design (FMCAD),
- 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
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,''
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
UBC Department of Computer Science Tech Report TR-2005-19
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),
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),
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
``A New Approach to Upward Closed Set
Backward Reachability Analysis''
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
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,
J. Bingham and J. Muzio,
``Advanced Evolution of Nonlinear Cellular Automata for Combinational
Poster at: IEEE European Test Workshop,
pp. 275-280 of ETW01 Informal Digest,
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,