Nicholas Kidd

15 papers A* 3A 2B 4Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2019 A* conf
Snap: a microkernel approach to host networking.
SOSP
Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat
2011 J jnl
A decision procedure for detecting atomicity violations for communicating processes with locks.
Int. J. Softw. Tools Technol. Transf.
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
2011 J jnl
Finding concurrency-related bugs using random isolation.
Int. J. Softw. Tools Technol. Transf.
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2010 — conf
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.
SPIN
Nicholas Kidd, Suresh Jagannathan, Jan Vitek
2009 — conf
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.
SPIN
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
2009 B conf
Finding Concurrency-Related Bugs Using Random Isolation.
VMCAI
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2009 B conf
Verifying Information Flow Control over Unbounded Processes.
FM
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
2008 A conf
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
2008 B conf
Language Strength Reduction.
SAS
Nicholas Kidd, Akash Lal, Thomas W. Reps
2007 B conf
Abstract Error Projection.
SAS
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
2007 — conf
Program Analysis Using Weighted Pushdown Systems.
FSTTCS
Thomas W. Reps, Akash Lal, Nicholas Kidd
2006 A conf
Verifying Concurrent Message-Passing C Programs with Recursive Calls.
TACAS
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
2005 A* conf
An auctioning reputation system based on anomaly.
CCS
Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd
2005 A* conf
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
2005 — conf
String analysis for x86 binaries.
PASTE
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh