Christopher L. Conway

According to our database, Christopher L. Conway authored at least 7 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

CVC4.

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Tools and Techniques for the Sound Verification of Low Level Code.

Christopher L. Conway

PhD thesis, 2010

Verifying Low-Level Implementations of High-Level Datatypes.

Christopher L. Conway, Clark W. Barrett

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Programming asynchronous layers with CLARITY.

Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2005

Incremental Algorithms for Inter-procedural Analysis of Safety Properties.

Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

NDL: a domain-specific language for device drivers.

Christopher L. Conway, Stephen A. Edwards

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004