Nicholas Kidd

According to our database, Nicholas Kidd authored at least 13 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Snap: a microkernel approach to host networking.

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

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2011

Finding concurrency-related bugs using random isolation.

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri

Int. J. Softw. Tools Technol. Transf., 2011

A decision procedure for detecting atomicity violations for communicating processes with locks.

Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps

Int. J. Softw. Tools Technol. Transf., 2011

2010

One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling.

Nicholas Kidd, Suresh Jagannathan, Jan Vitek

Proceedings of the Model Checking Software, 2010

2009

Verifying Information Flow Control over Unbounded Processes.

William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps

Proceedings of the FM 2009: Formal Methods, 2009

2008

Interprocedural Analysis of Concurrent Programs Under a Context Bound.

Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Language Strength Reduction.

Nicholas Kidd, Akash Lal, Thomas W. Reps

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Abstract Error Projection.

Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili

Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.

Thomas W. Reps, Akash Lal, Nicholas Kidd

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.

Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

String analysis for x86 binaries.

Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

An auctioning reputation system based on anomaly.

Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.

Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum

Proceedings of the Computer Aided Verification, 17th International Conference, 2005