NDL: a domain-specific language for device drivers. - Christopher L. Conway; Stephen A. Edwards (LCTES, 2004)

Incremental Algorithms for Inter-procedural Analysis of Safety Properties. - Christopher L. Conway; Kedar S. Namjoshi; Dennis Dams; Stephen A. Edwards (CAV, 2005)

Programming asynchronous layers with CLARITY. - Prakash Chandrasekaran; Christopher L. Conway; Joseph M. Joy; Sriram K. Rajamani (ESEC/SIGSOFT FSE, 2007)

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. - Christopher L. Conway; Dennis Dams; Kedar S. Namjoshi; Clark W. Barrett (SAS, 2008)

Verifying Low-Level Implementations of High-Level Datatypes. - Christopher L. Conway; Clark W. Barrett (CAV, 2010)

Tools and Techniques for the Sound Verification of Low Level Code. - Christopher L. Conway (2010)

CVC4. - Clark W. Barrett; Christopher L. Conway; Morgan Deters; Liana Hadarean; Dejan Jovanovic; Tim King 001; Andrew Reynolds 001; Cesare Tinelli (CAV, 2011)