Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Nicholas Kidd

dblp:12/1884 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Cloud and datacenter computing
datacenter network
0.412019
Snap: a microkernel approach to host networking · SOSP 2019
Cloud and datacenter computing › virtualization › network virtualization
network function virtualization
0.412019
Snap: a microkernel approach to host networking · SOSP 2019
Cloud and datacenter computing
userspace networking
0.412019
Snap: a microkernel approach to host networking · SOSP 2019
Operating systems › kernel › kernel design › microkernel
microkernel design
0.112019
Snap: a microkernel approach to host networking · SOSP 2019
Programming languages and type systems
information flow control
0.112009
Verifying Information Flow Control over Unbounded Processes · FM 2009
Data mining
anomaly detection
0.112005
An auctioning reputation system based on anomaly · CCS 2005
Program analysis
binary analysis
0.112005
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ · CAV 2005
Automated reasoning and model checking › model checking
software model checking
0.112005
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
YearPublicationVenuePosition
2019 Snap: a microkernel approach to host networking
abstract
This 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
SOSP11
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
FM2
2009 Finding Concurrency-Related Bugs Using Random Isolation
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
VMCAI1
2008 Language Strength Reduction
Nicholas Kidd, Akash Lal, Thomas W. Reps
SAS1
2008 Interprocedural Analysis of Concurrent Programs Under a Context Bound
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
TACAS3
2007 Program Analysis Using Weighted Pushdown Systems
Thomas W. Reps, Akash Lal, Nicholas Kidd
FSTTCS3
2007 Abstract Error Projection
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
SAS2
2006 Verifying Concurrent Message-Passing C Programs with Recursive Calls
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
TACAS3
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
CAV3
2005 An auctioning reputation system based on anomaly
abstract
Existing 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
CCS7
2005 String analysis for x86 binaries
abstract
Information 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
PASTE2