Efficient Computational Noise in GLSL. - Ian McEwan; David Sheets; Mark Richardson 002; Stefan Gustavson (J. Graph. Tools, 2012)

Lost in the Edge: Finding Your Way with DNSSEC Signposts. - Charalampos Rotsos; Heidi Howard; David Sheets; Richard Mortier; Anil Madhavapeddy; Amir Chaudhry; Jon Crowcroft (FOCI, 2013)

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 (NSDI, 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 (SOSP, 2015)

Declarative Foreign Function Binding Through Generic Programming. - Jeremy Yallop; David Sheets; Anil Madhavapeddy (FLOPS, 2016)

A modular foreign function interface. - Jeremy Yallop; David Sheets; Anil Madhavapeddy (Sci. Comput. Program., 2018)