dblp.uni-trier.dewww.uni-trier.de

Nicholas Kidd Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EENicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps: A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142
9EENicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213
2008
8EENicholas Kidd, Akash Lal, Thomas W. Reps: Language Strength Reduction. SAS 2008: 283-298
7EEAkash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298
2007
6EEThomas W. Reps, Akash Lal, Nicholas Kidd: Program Analysis Using Weighted Pushdown Systems. FSTTCS 2007: 23-51
5EEAkash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217
2006
4EESagar 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
3EEShai 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
2EEGogul 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
1EEMihai Christodorescu, Nicholas Kidd, Wen-Han Goh: String analysis for x86 binaries. PASTE 2005: 88-95

Coauthor Index

1Gogul Balakrishnan [2]
2Sagar Chaki [4]
3Chi-Hua Chen [2]
4Mihai Christodorescu [1] [3]
5Edmund M. Clarke [4]
6Julian Dolby [9]
7Vinod Ganapathy [3]
8Jonathon T. Giffin [3]
9Wen-Han Goh [1]
10Radu Gruian [2]
11Louis Kruger [3]
12Akash Lal [2] [5] [6] [7] [8]
13Peter Lammich [10]
14Junghee Lim [2]
15David Melski [2]
16Thomas W. Reps [2] [4] [5] [6] [7] [8] [9] [10]
17Shai Rubin [3]
18Tim Teitelbaum [2]
19Tayssir Touili [4] [5] [7] [10]
20Mandana Vaziri [9]
21Hao Wang [3]
22Suan Hsi Yong [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)