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 × Austria
1 × Denmark
1 × Hungary
1 × Portugal
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
T.W.Reps A.Lal T.Touili S.Chaki M.Christodorescu W.Goh J.Dolby M.Vaziri W.R.Harris S.Jha E.M.Clarke G.Balakrishnan J.Lim D.Melski R.Gruian S.H.Yong C.Chen T.Teitelbaum
Talks about:
concurr (3) program (2) analysi (2) verifi (2) interprocedur (1) strength (1) abstract (1) unbound (1) project (1) process (1)

Person: Nicholas Kidd

DBLP DBLP: Kidd:Nicholas

Contributed to:

FM 20092009
VMCAI 20092009
SAS 20082008
TACAS 20082008
SAS 20072007
TACAS 20062006
CAV 20052005
PASTE 20052005

Wrote 8 papers:

FM-2009-HarrisKCJR #bound #data flow #process #verification
Verifying Information Flow Control over Unbounded Processes (WRH, NK, SC, SJ, TWR), pp. 773–789.
VMCAI-2009-KiddRDV #debugging #random #using
Finding Concurrency-Related Bugs Using Random Isolation (NK, TWR, JD, MV), pp. 198–213.
SAS-2008-KiddLR #reduction
Language Strength Reduction (NK, AL, TWR), pp. 283–298.
TACAS-2008-LalTKR #analysis #bound #concurrent #interprocedural #source code
Interprocedural Analysis of Concurrent Programs Under a Context Bound (AL, TT, NK, TWR), pp. 282–298.
SAS-2007-LalKRT #fault
Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
TACAS-2006-ChakiCKRT #c #concurrent #message passing #recursion #source code #verification
Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
PASTE-2005-ChristodorescuKG #analysis #string
String analysis for x86 binaries (MC, NK, WHG), pp. 88–95.

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.