Nicholas Kidd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2005–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SOSP | 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 |
| 2009 | FM | Verifying Information Flow Control over Unbounded Processes. | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
| 2009 | VMCAI | Finding Concurrency-Related Bugs Using Random Isolation. | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
| 2008 | SAS | Language Strength Reduction. | Nicholas Kidd, Akash Lal, Thomas W. Reps |
| 2008 | TACAS | Interprocedural Analysis of Concurrent Programs Under a Context Bound. | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
| 2007 | SAS | Abstract Error Projection. | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2006 | TACAS | Verifying Concurrent Message-Passing C Programs with Recursive Calls. | Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2005 | CAV | 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 |
| 2005 | CCS | An auctioning reputation system based on anomaly. | Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd |