Jesse D. Bingham
According to our database1,
Jesse D. Bingham
authored at least 19 papers
between 2000 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
IEEE Micro, 2015
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2011
Parameterized verification of deadlock freedom in symmetric cache coherence protocols.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the Formal Methods in Computer-Aided Design, 2008
2007
Discret. Appl. Math., 2007
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
Proceedings of the Verification, 2007
2006
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
Proceedings of the Verification, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005
Proceedings of the 42nd Design Automation Conference, 2005
2004
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003
2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2000
Solving Hamiltonian Cycle on FPGA Technology via Instance to Circuit Mappings.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000