Christopher L. Conway
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | CVC4. | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
| 2010 | CAV | Verifying Low-Level Implementations of High-Level Datatypes. | Christopher L. Conway, Clark W. Barrett |
| 2008 | SAS | Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
| 2005 | CAV | Incremental Algorithms for Inter-procedural Analysis of Safety Properties. | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |