Randy Pollack - RankMe

17 papers A* 2A 1Journal 6Unranked 6

Year	Rank	Type	Title / 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