Christopher L. Conway

	2011
6		Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli: CVC4. CAV 2011: 171-177
	2010
5		Christopher L. Conway, Clark Barrett: Verifying Low-Level Implementations of High-Level Datatypes. CAV 2010: 306-320
	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

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[4] [5] [6]
2	Prakash Chandrasekaran	[3]
3	Dennis Dams	[2] [4]
4	Morgan Deters	[6]
5	Stephen A. Edwards	[1] [2]
6	Liana Hadarean	[6]
7	Dejan Jovanovic	[6]
8	Joseph M. Joy	[3]
9	Tim King	[6]
10	Kedar S. Namjoshi	[2] [4]
11	Sriram K. Rajamani	[3]
12	Andrew Reynolds	[6]
13	Cesare Tinelli	[6]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page