David Sheets

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Formal Specification

Object Oriented Design

Noise Reduction

Top Venues

Sci. Comput. Program.

Publications

Jeremy Yallop, David Sheets, Anil Madhavapeddy
A modular foreign function interface. Sci. Comput. Program. 164 (2018)
Jeremy Yallop, David Sheets, Anil Madhavapeddy
Declarative Foreign Function Binding Through Generic Programming. FLOPS (2016)
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP (2015)
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
Jitsu: Just-In-Time Summoning of Unikernels. NSDI (2015)
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
Lost in the Edge: Finding Your Way with DNSSEC Signposts. FOCI (2013)
Ian McEwan, David Sheets, Stefan Gustavson, Mark Richardson
Efficient computational noise in GLSL CoRR (2012)
Ian McEwan, David Sheets, Mark Richardson, Stefan Gustavson
Efficient Computational Noise in GLSL. J. Graph. Tools 16 (2) (2012)