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
Demo Data from EDBT 2026 / reviewers in the wild / expert

David Sheets

dblp:67/11266 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2Computer networks · 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
2 papers
Cloud and datacenter computing · 67% Storage systems · 33%
Software engineering, system software, and programming languages
2 papers
Operating systems · 100%

Topics — the 3 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Storage systems
file systems		 0.212015
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems · SOSP 2015
Cloud and datacenter computing › virtualization › lightweight virtualization
unikernel		 0.212015
Jitsu: Just-In-Time Summoning of Unikernels · NSDI 2015
Cloud and datacenter computing
virtualization		 0.212015
Jitsu: Just-In-Time Summoning of Unikernels · NSDI 2015

Methods — techniques the papers use, named apart from their topics

oracle-based testing · 0.4formal specification · 0.4
YearPublicationVenuePosition
2018 A modular foreign function interface
Jeremy Yallop, David Sheets, Anil Madhavapeddy
 Sci. Comput. Program.2
2015 Jitsu: Just-In-Time Summoning of Unikernels
Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, David J. Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft, Ian M. Leslie
 NSDI5
2015 SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
abstract
Systems depend critically on the behaviour of file systems, but that behaviour differs in many details, both between implementations and between each implementation and the POSIX (and other) prose specifications. Building robust and portable software requires understanding these details and differences, but there is currently no good way to systematically describe, investigate, or test file system behaviour across this complex multi-platform interface.
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
 SOSP2