David Sheets

According to our database, David Sheets authored at least 6 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A modular foreign function interface.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Sci. Comput. Program., 2018

2016

Declarative Foreign Function Binding Through Generic Programming.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell

Proceedings of the 25th Symposium on Operating Systems Principles, 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

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2013

Lost in the Edge: Finding Your Way with DNSSEC Signposts.

Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft

Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

2012

Efficient Computational Noise in GLSL.

Ian McEwan, David Sheets, Mark Richardson, Stefan Gustavson

J. Graph. Tools, 2012