Randy Pollack

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 1

Top Topics

Multi Context Systems

Information Flows

Emergency Management

Top Venues

Publications

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. J. Comput. Secur. 24 (6) (2016)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A Verified Information-Flow Architecture. CoRR (2015)
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
A verified information-flow architecture. POPL (2014)
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
A Theory of Information-Flow Labels. CSF (2013)
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Randy Pollack, Masahiko Sato, Wilmer Ricciotti
A Canonical Locally Named Representation of Binding. J. Autom. Reason. 49 (2) (2012)
André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan
Preliminary design of the SAFE platform. PLOS@SOSP (2011)
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
Certified Complexity. FET (2011)
Masahiko Sato, Randy Pollack
External and internal syntax of the lambda-calculus. J. Symb. Comput. 45 (5) (2010)
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich
Engineering formal metatheory. POPL (2008)
Thierry Coquand, Randy Pollack, Makoto Takeyama
A Logical Framework with Dependently Typed Records. Fundam. Informaticae 65 (1-2) (2005)
John Longley, Randy Pollack
Reasoning About CBV Functional Programs in Isabelle/HOL. TPHOLs (2004)
Thierry Coquand, Randy Pollack, Makoto Takeyama
A Logical Framework with Dependently Typed Records. TLCA (2003)
Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
A Constructive Algebraic Hierarchy in Coq. J. Symb. Comput. 34 (4) (2002)
Randy Pollack
Closure Under Alpha-Conversion. TYPES (1993)