David Sheets
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FLOPS | Declarative Foreign Function Binding Through Generic Programming. | Jeremy Yallop, David Sheets, Anil Madhavapeddy |
| 2015 | NSDI | 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 |
| 2015 | SOSP | 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 |