 | 2009 |
|---|
| 11 |       | William R. Harris,
Nicholas Kidd,
Sagar Chaki,
Somesh Jha,
Thomas W. Reps:
Verifying Information Flow Control over Unbounded Processes.
FM 2009: 773-789 |
| 10 | | 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 |
| 9 | | Nicholas Kidd,
Thomas W. Reps,
Julian Dolby,
Mandana Vaziri:
Finding Concurrency-Related Bugs Using Random Isolation.
VMCAI 2009: 198-213 |
| 2008 |
|---|
| 8 | | Nicholas Kidd,
Akash Lal,
Thomas W. Reps:
Language Strength Reduction.
SAS 2008: 283-298 |
| 7 | | Akash Lal,
Tayssir Touili,
Nicholas Kidd,
Thomas W. Reps:
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS 2008: 282-298 |
| 2007 |
|---|
| 6 | | Thomas W. Reps,
Akash Lal,
Nicholas Kidd:
Program Analysis Using Weighted Pushdown Systems.
FSTTCS 2007: 23-51 |
| 5 | | Akash Lal,
Nicholas Kidd,
Thomas W. Reps,
Tayssir Touili:
Abstract Error Projection.
SAS 2007: 200-217 |
| 2006 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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 |
| 2 | | 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 |
| 1 | | Mihai Christodorescu,
Nicholas Kidd,
Wen-Han Goh:
String analysis for x86 binaries.
PASTE 2005: 88-95 |
