Andrew P. Tolmach - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Andrew P. Tolmach' as author, editor, or advisor:

Playing by the rules: rewriting as a practical optimisation technique in GHCJones, Simon Peyton, Tolmach, Andrew, Hoare, Tony. 2001: 203-233
10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USAJohn Harrison 0001, John O'Leary, Andrew Tolmach, editors, Volume 141 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Towards formally verified compilation of tag-based policy enforcementC. H. R. Chhak, Andrew Tolmach, Sean Anderson. CPP 2021: 137-151 [doi]
Flexible Runtime Security Enforcement with Tagged CSean Anderson, Allison Naaktgeboren, Andrew Tolmach. RV 2023: 231-250 [doi]
Formalizing Stack Safety as a Security PropertySean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach. csfw 2023: 356-371 [doi]
Writing systems software in a functional language: an experience reportIavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach. sosp 2007: [doi]
Eelco Visser: The Oregon ConnectionAndrew Tolmach. BIRTHDAY 2023: [doi]
Programming Language FoundationsBenjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Catalin Hritcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey. Software Foundations series, volume 2, Electronic textbook, Philadelphia, USA, May 2018.
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic CompromiseCarmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach. ccs 2018: 1351-1368 [doi]
Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory ModelAndrew Tolmach, Chris Chhak, Sean Noble Anderson. itp 2024: [doi]

runs on WebDSL