- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j2 |      | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A decision procedure for detecting atomicity violations for communicating processes with locks. STTT 13(1): 37-60 (2011) |
| j1 | | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding concurrency-related bugs using random isolation. STTT 13(6): 495-518 (2011) |
| 2010 | ||
| c12 | | Nicholas Kidd, Suresh Jagannathan, Jan Vitek: One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. SPIN 2010: 245-261 |
| 2009 | ||
| c11 | | William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789 |
| c10 | | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142 |
| c9 | | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213 |
| 2008 | ||
| c8 | | |
| c7 | | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298 |
| 2007 | ||
| c6 | | Thomas W. Reps, Akash Lal, Nicholas Kidd: Program Analysis Using Weighted Pushdown Systems. FSTTCS 2007: 23-51 |
| c5 | | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217 |
| 2006 | ||
| c4 | | Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349 |
| 2005 | ||
| c3 | | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum: Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV 2005: 158-163 |
| c2 | | Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd: An auctioning reputation system based on anomaly. ACM Conference on Computer and Communications Security 2005: 270-279 |
| c1 | | Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh: String analysis for x86 binaries. PASTE 2005: 88-95 |
Data released under the ODC-BY 1.0 license — See also our legal information page