Randy Pollack

17 papers A* 2A 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
A verified information-flow architecture.
J. Comput. Secur.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2015 J jnl
A Verified Information-Flow Architecture.
CoRR
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2014 A* conf
A verified information-flow architecture.
POPL
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
2013 A conf
A Theory of Information-Flow Labels.
CSF
Benoît Montagu, Benjamin C. Pierce, Randy Pollack
2013 — conf
Certified Complexity (CerCo).
FOPARA
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
2013 — ed.
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013
LFMTP
Alberto Momigliano, Brigitte Pientka, Randy Pollack
2012 J jnl
A Canonical Locally Named Representation of Binding.
J. Autom. Reason.
Randy Pollack, Masahiko Sato, Wilmer Ricciotti
2011 — conf
Certified Complexity.
FET
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
2011 — conf
Preliminary design of the SAFE platform.
PLOS@SOSP
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
2010 J jnl
External and internal syntax of the lambda-calculus.
J. Symb. Comput.
Masahiko Sato, Randy Pollack
2008 A* conf
Engineering formal metatheory.
POPL
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich
2005 J jnl
A Logical Framework with Dependently Typed Records.
Fundam. Informaticae
Thierry Coquand, Randy Pollack, Makoto Takeyama
2005 — ed.
ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005
MERLIN
Randy Pollack
2004 — conf
Reasoning About CBV Functional Programs in Isabelle/HOL.
TPHOLs
John Longley, Randy Pollack
2003 — conf
A Logical Framework with Dependently Typed Records.
TLCA
Thierry Coquand, Randy Pollack, Makoto Takeyama
2002 J jnl
A Constructive Algebraic Hierarchy in Coq.
J. Symb. Comput.
Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
1993 — conf
Closure Under Alpha-Conversion.
TYPES
Randy Pollack