Christopher L. Conway

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
CVC4. CAV (2011)
Christopher L. Conway, Clark W. Barrett
Verifying Low-Level Implementations of High-Level Datatypes. CAV (2010)
Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS (2008)
Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE (2007)
Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV (2005)
Christopher L. Conway, Stephen A. Edwards
NDL: a domain-specific language for device drivers. LCTES (2004)