author-photo

David Sheets

University of Cambridge

7

Papers

143

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

A modular foreign function interface

2017 Science of Computer Programming
Show All
- Source
- Cite
- Save
Citations (2)
Jitsu: just-in-time summoning of unikernels

2015 NSDI | Networked Systems Design and Implementation
Show All
- Source
- Cite
- Save
Citations (87)
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

2015 SOSP | Symposium on Operating Systems Principles
Show All
- Source
- Cite
- Save
Citations (48)
Lost in the Edge: Finding Your Way with {DNSSEC} Signposts

2013 FOCI | Foundations of Computational Intelligence
Show All
- Source
- Cite
- Save
Citations (3)
Efficient computational noise in GLSL

2012 arXiv: Graphics
Show All
- Source
- Cite
- Save
Citations (0)