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: Kidd:Nicholas
Contributed to:
2009
2009
2008
200820072006
2005
2005Wrote 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.