Demo Data from EDBT 2026 / reviewers in the wild / expert
Nicholas Kidd
dblp:12/1884
· DBLP profile ↗
13ranked-venue papers
4as first author
0since 2021 · last 2019
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 11 · 4 first-authorTheory of computation · 3Security and privacy · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Cloud and datacenter computing · 100% | |
| Software engineering, system software, and programming languages
3 papers |
Operating systems · 43% Programming languages and type systems · 36% Program analysis · 21% | |
| Network and information security
2 papers |
Blockchain and cryptocurrency security · 66% Systems and software security · 34% | |
| Databases, data mining, and information retrieval
1 paper |
Data mining · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 8 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cloud and datacenter computing
datacenter network |
0.4 | 1 | 2019 | Snap: a microkernel approach to host networking · SOSP 2019 |
Cloud and datacenter computing › virtualization › network virtualization
network function virtualization |
0.4 | 1 | 2019 | Snap: a microkernel approach to host networking · SOSP 2019 |
Cloud and datacenter computing
userspace networking |
0.4 | 1 | 2019 | Snap: a microkernel approach to host networking · SOSP 2019 |
Operating systems › kernel › kernel design › microkernel
microkernel design |
0.1 | 1 | 2019 | Snap: a microkernel approach to host networking · SOSP 2019 |
Programming languages and type systems
information flow control |
0.1 | 1 | 2009 | Verifying Information Flow Control over Unbounded Processes · FM 2009 |
Data mining
anomaly detection |
0.1 | 1 | 2005 | An auctioning reputation system based on anomaly · CCS 2005 |
Program analysis
binary analysis |
0.1 | 1 | 2005 | Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ · CAV 2005 |
Automated reasoning and model checking › model checking
software model checking |
0.1 | 1 | 2005 | Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ · CAV 2005 |
Methods — techniques the papers use, named apart from their topics
kernel bypass · 0.8RDMA · 0.8weighted pushdown system · 0.1statistical modeling · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | Snap: a microkernel approach to host networkingabstractThis paper presents our design and experience with a microkernel-inspired approach to host networking called Snap. Snap is a userspace networking system that supports Google's rapidly evolving needs with flexible modules that implement a range of network functions, including edge packet switching, virtualization for our cloud platform, traffic shaping policy enforcement, and a high-performance reliable messaging and RDMA-like service. Snap has been running in production for over three years, supporting the extensible communication needs of several large and critical systems. 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 0001, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Valas Valancius, Amin Vahdat |
SOSP | 11 |
| 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. | 1 |
| 2011 | Finding concurrency-related bugs using random isolation
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 2009 | Verifying Information Flow Control over Unbounded Processes
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps |
FM | 2 |
| 2009 | Finding Concurrency-Related Bugs Using Random Isolation
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
VMCAI | 1 |
| 2008 | Language Strength Reduction
Nicholas Kidd, Akash Lal, Thomas W. Reps |
SAS | 1 |
| 2008 | Interprocedural Analysis of Concurrent Programs Under a Context Bound
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
TACAS | 3 |
| 2007 | Program Analysis Using Weighted Pushdown Systems
Thomas W. Reps, Akash Lal, Nicholas Kidd |
FSTTCS | 3 |
| 2007 | Abstract Error Projection
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
SAS | 2 |
| 2006 | Verifying Concurrent Message-Passing C Programs with Recursive Calls
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
TACAS | 3 |
| 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, Tim Teitelbaum |
CAV | 3 |
| 2005 | An auctioning reputation system based on anomalyabstractExisting reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities - finding a good bargain. These systems do not provide information on the practices adopted by sellers to ensure profitable auctions. These practices may be legitimate, like imposing a minimum starting bid on an auction, or fraudulent, like using colluding bidders to inflate the final price in a practice known as shilling.We develop a reputation system to help buyers identify sellers whose auctions seem price-inflated. Our reputation system is based upon models that characterize sellers according to statistical metrics related to price inflation. We combine the statistical models with anomaly detection techniques to identify the set of suspicious sellers. The output of our reputation system is a set of values for each seller representing the confidence with which the system can say that the auctions of the seller are price-inflated.We evaluate our reputation system on 604 high-volume sellers who posted 37,525 auctions on eBay. Our system automatically pinpoints sellers whose auctions contain potential shill bidders. When we manually analyze these sellers' auctions, we find that many winning bids are at about the items' market values, thus undercutting a buyer's ability to find a bargain and demonstrating the effectiveness of our reputation system. Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Nicholas Kidd |
CCS | 7 |
| 2005 | String analysis for x86 binariesabstractInformation about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recovering possible string values in an executable program, when no debug information or source code is available. The result of our analysis is a regular language that describes a superset of the string values possible at a given program point. We also impart some of the lessons learned in the process of implementing our analysis as a tool for recovering C-style strings in x86 executables. Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh |
PASTE | 2 |