 | 2008 |
|---|
| 4 |       | Christopher L. Conway,
Dennis Dams,
Kedar S. Namjoshi,
Clark Barrett:
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.
SAS 2008: 62-77 |
| 2007 |
|---|
| 3 | | Prakash Chandrasekaran,
Christopher L. Conway,
Joseph M. Joy,
Sriram K. Rajamani:
Programming asynchronous layers with CLARITY.
ESEC/SIGSOFT FSE 2007: 65-74 |
| 2005 |
|---|
| 2 | | Christopher L. Conway,
Kedar S. Namjoshi,
Dennis Dams,
Stephen A. Edwards:
Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
CAV 2005: 449-461 |
| 2004 |
|---|
| 1 | | Christopher L. Conway,
Stephen A. Edwards:
NDL: a domain-specific language for device drivers.
LCTES 2004: 30-36 |
