Greg Morrisett - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Trace-based verification of imperative programs with I/OGregory Malecha, Greg Morrisett, Ryan Wisnesky. JSC, 46(2):95-118, 2011. [doi]

Evaluating value-graph translation validation for LLVMJean-Baptiste Tristan, Paul Govereau, Greg Morrisett. PLDI 2011: 295-305 [doi]

2010

2009

Effective interactive proofs for higher-order imperative programsAdam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky. ICFP 2009: 79-90 [doi]

Technical perspective - A compiler s storyGreg Morrisett. CACM, 52(7):106, 2009. [doi]

Towards type-theoretic semantics for transactional concurrencyAleksandar Nanevski, Paul Govereau, Greg Morrisett. tldi 2009: 79-90 [doi]

2008

08061 Abstracts Collection -- Types, Logics and Semantics for StateAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. dagstuhl 2008: [doi]

08061 Executive Summary -- Types, Logics and Semantics for StateAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. dagstuhl 2008: [doi]

Types, Logics and Semantics for State, 03.02. - 08.02.2008Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett, editors, Volume 08061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008.

Flask: staged functional programming for sensor networksGeoffrey Mainland, Greg Morrisett, Matt Welsh. ICFP 2008: 335-346 [doi]

Programming with Effects in CoqGreg Morrisett. mpc 2008: 28 [doi]

Ynot: dependent types for imperative programsAleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal. ICFP 2008: 229-240 [doi]

A Realizability Model for Impredicative Hoare Type TheoryRasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett. ESOP 2008: 337-352 [doi]

2007

2006

2005

Language-Based Security Martín Abadi, Greg Morrisett, Andrei Sabelfeld. JFP, 15(2):129, 2005. [doi]

A step-indexed model of substructural stateAmal J. Ahmed, Matthew Fluet, Greg Morrisett. ICFP 2005: 78-91 [doi]

L:::3:::: A Linear Language with LocationsGreg Morrisett, Amal J. Ahmed, Matthew Fluet. tlca 2005: 293-307 [doi]

2004

EditorialPaul Hudak, Greg Morrisett. JFP, 14(4), 2004. [doi]