Randy Pollack

According to our database, Randy Pollack authored at least 12 papers between 1993 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

J. Comput. Secur., 2016

2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

A Theory of Information-Flow Labels.

Benoît Montagu, Benjamin C. Pierce, Randy Pollack

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

A Canonical Locally Named Representation of Binding.

Randy Pollack, Masahiko Sato, Wilmer Ricciotti

J. Autom. Reason., 2012

2011

Certified Complexity.

R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Preliminary design of the SAFE platform.

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

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

2010

External and internal syntax of the lambda-calculus.

Masahiko Sato, Randy Pollack

J. Symb. Comput., 2010

2008

Engineering formal metatheory.

Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2005

A Logical Framework with Dependently Typed Records.

Thierry Coquand, Randy Pollack, Makoto Takeyama

Fundam. Informaticae, 2005

2004

Reasoning About CBV Functional Programs in Isabelle/HOL.

John Longley, Randy Pollack

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2002

A Constructive Algebraic Hierarchy in Coq.

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

J. Symb. Comput., 2002

1993

Closure Under Alpha-Conversion.

Randy Pollack

Proceedings of the Types for Proofs and Programs, 1993