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.