Home Channel Rankings GCT THU AI TR Insight Open Data Must Reading

views: 7

David Sheets

Decentralized Information Group|Computer Science and Artificial Intelligence Laboratory|Massachusetts Institute of Technology

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers7 papers

Sort

By YearBy Citation

Declarative Foreign Function Binding Through Generic Programming

Jeremy Yallop,David Sheets,Anil Madhavapeddy

FLOPS, pp.198-214, (2016)

Cited by3EIBibtex

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 Leslie

NSDI, pp.559-573, (2015)

Cited by110EIBibtex

A modular foreign function interface

Jeremy Yallop,David Sheets,Anil Madhavapeddy

Sci. Comput. Program., (2015)

Cited by4EIBibtex

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)

Cited by46EIBibtex

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)

Cited by6EIBibtex

Efficient computational noise in GLSL

Ian McEwan,David Sheets,Stefan Gustavson,Mark Richardson

Journal of Graphics Tools, (2012): 85-94

Cited by3EIBibtex

Tabulator: Exploring and Analyzing linked data on the Semantic Web

Tim Berners-Lee,Yuhsin Chen,Lydia Chilton,Dan Connolly,Ruth Dhanaraj,James Hollenbach,Adam Lerer,David Sheets

(2006)

Cited by532Bibtex

View All

Base Info Papers Patents Projects