Christopher L. Conway

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Clark W. Barrett (Clark Barrett) [4]
2Prakash Chandrasekaran [3]
3Dennis Dams [2] [4]
4Stephen A. Edwards [1] [2]
5Joseph M. Joy [3]
6Kedar S. Namjoshi [2] [4]
7Sriram K. Rajamani [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)