Randy Pollack
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | POPL | A verified information-flow architecture. | Arthur Azevedo de Amorim, Nathan Collins, Andr DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach |
| 2011 | SOSP | Preliminary design of the SAFE platform. | Andr DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benot Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan |
| 2008 | POPL | Engineering formal metatheory. | Brian E. Aydemir, Arthur Charguraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |