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 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:
C.Flanagan G.P.Brat W.Visser N.Collins B.Huffman M.Tullsen L.Pike K.Carter A.Foltzer J.Hendrix A.Chudnov B.Cook J.Dodds C.MacCárthaigh S.Magill E.Mertens E.Mullen S.Tasiran E.Westbrook
Talks about:
analysi (3) vehicl (2) formal (2) detect (2) verif (2) interprocedur (1) workbench (1) inconsist (1) reachabl (1) variabl (1)

Person: Aaron Tomb

DBLP DBLP: Tomb:Aaron

Contributed to:

HILT 20132013
ISSTA 20122012
ISSTA 20072007
PPDP 20052005
CAV (2) 20182018

Wrote 6 papers:

HILT-2013-CarterFHHT #analysis #named
SAW: the software analysis workbench (KC, AF, JH, BH, AT), pp. 15–18.
ISSTA-2012-TombF #analysis #consistency #detection #nondeterminism #reachability
Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.
ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
PPDP-2005-TombF #automation #partial evaluation #type inference
Automatic type inference via partial evaluation (AT, CF), pp. 106–116.
CAV-2018-ChudnovCCDHMMMM #verification
Continuous Formal Verification of Amazon s2n (AC, NC, BC, JD, BH, CM, SM, EM, EM, ST, AT, EW), pp. 430–446.
CAV-2018-TullsenPCT #verification
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System (MT, LP, NC, AT), pp. 413–429.

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.