Travelled to:1 × Croatia
1 × Spain
2 × USA
2 × United Kingdom
Collaborated with:C.Barrett S.A.Edwards D.Dams K.S.Namjoshi P.Chandrasekaran J.M.Joy S.K.Rajamani M.Deters L.Hadarean D.Jovanovic T.King A.Reynolds C.Tinelli
Talks about:analysi (2) level (2) increment (1) implement (1) asynchron (1) algorithm (1) properti (1) procedur (1) program (1) pointer (1)
Person: Christopher L. Conway
DBLP: Conway:Christopher_L=
Contributed to:
20112010
2008
20072005
2004Wrote 6 papers:
- CAV-2011-BarrettCDHJKRT
- CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.
- CAV-2010-ConwayB #data type #implementation #low level #verification
- Verifying Low-Level Implementations of High-Level Datatypes (CLC, CB), pp. 306–320.
- SAS-2008-ConwayDNB #analysis #fault #pointer #proving
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors (CLC, DD, KSN, CB), pp. 62–77.
- ESEC-FSE-2007-ChandrasekaranCJR #programming
- Programming asynchronous layers with CLARITY (PC, CLC, JMJ, SKR), pp. 65–74.
- CAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety
- Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.
- LCTES-2004-ConwayE #domain-specific language #named
- NDL: a domain-specific language for device drivers (CLC, SAE), pp. 30–36.