Tom Ridge
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2006–2015
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2014 | ICFP | Lem: reusable engineering of real-world semantics. | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2014 | SLE | Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle. | Tom Ridge |
| 2011 | CPP | Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars. | Tom Ridge |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2009 | POPL | Verifying distributed systems: the operational approach. | Tom Ridge |
| 2009 | POPL | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
| 2008 | FM | A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. | Tom Ridge, Michael Norrish, Peter Sewell |
| 2007 | ICFP | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2006 | ICNP | Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. | Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell |