Skip to content

Andrea Giugliano

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2015–2015

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2015SOSPSibylFS: 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