BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Conway:Christopher_L=

Contributed to:

CAV 20112011
CAV 20102010
SAS 20082008
ESEC/FSE 20072007
CAV 20052005
LCTES 20042004

Wrote 6 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.