Andrew Tolmach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | SECOMP: Formally Secure Compilation of Compartmentalized C Programs. | Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach |
| 2024 | ITP | Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model. | Andrew Tolmach, Chris Chhak, Sean Noble Anderson |
| 2023 | RV | Flexible Runtime Security Enforcement with Tagged C. | Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach |
| 2021 | CPP | Towards formally verified compilation of tag-based policy enforcement. | Chris Chhak, Andrew Tolmach, Sean Noble Anderson |
| 2019 | ECOOP | Scopes and Frames Improve Meta-Interpreter Specialization. | Vlad A. Vergu, Andrew Tolmach, Eelco Visser |
| 2018 | CCS | When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. | Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach |
| 2015 | SP | Micro-Policies: Formally Verified, Tag-Based Security Monitors. | Arthur Azevedo de Amorim, Maxime Dns, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach |
| 2014 | APLAS | Suppl: A Flexible Language for Policies. | Robert Dockins, Andrew Tolmach |
| 2014 | POPL | 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 |
| 2007 | SOSP | Writing systems software in a functional language: an experience report. | Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach |