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: Tomb:Aaron
Contributed to:
2013
20122007
2005
2018Wrote 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.