Andrew P. Tolmach

According to our database, Andrew P. Tolmach authored at least 40 papers between 1990 and 2024.

Collaborative distances:

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

2024

Pipe-Cleaner: Flexible Fuzzing Using Security Policies.

Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach, Greg Sullivan

CoRR, 2024

Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model.

Andrew Tolmach, Chris Chhak, Sean Noble Anderson

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

SECOMP: Formally Secure Compilation of Compartmentalized C Programs.

Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Flexible Runtime Security Enforcement with Tagged C.

Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Formalizing Stack Safety as a Security Property.

Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Eelco Visser: The Oregon Connection.

Andrew Tolmach

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2021

Security Properties for Stack Safety.

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2021

Towards formally verified compilation of tag-based policy enforcement.

Chris Chhak, Andrew Tolmach, Sean Noble Anderson

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Scopes and Frames Improve Meta-Interpreter Specialization.

Vlad A. Vergu, Andrew Tolmach, Eelco Visser

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Intrinsically-typed definitional interpreters for imperative languages.

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2018

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, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).

Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2017

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

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Dagstuhl Artifacts Ser., 2016

A constraint language for static semantic analysis based on scope graphs.

Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.

Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

CoRR, 2015

Micro-Policies: Formally Verified, Tag-Based Security Monitors.

Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

A Theory of Name Resolution.

Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth

Proceedings of the Programming Languages and Systems, 2015

2014

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.

Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat

Proceedings of the Onward! 2014, 2014

Suppl: A Flexible Language for Policies.

Robert Dockins, Andrew Tolmach

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2011

Special Issue Dedicated to ICFP 2009 Editorial.

Andrew P. Tolmach, Xavier Leroy

J. Funct. Program., 2011

2010

A certified framework for compiling and executing garbage-collected languages.

Andrew McCreight, Tim Chevalier, Andrew P. Tolmach

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2007

Writing systems software in a functional language: an experience report.

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Lightweight concurrency primitives for GHC.

Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2005

A principled approach to operating system construction in Haskell.

Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

A Virtual Machine for Functional Logic Computations.

Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach

Proceedings of the Implementation and Application of Functional Languages, 2004

Implementing functional logic languages using multiple threads and stores.

Andrew P. Tolmach, Sergio Antoy, Marius Nita

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

A monadic semantics for core Curry.

Andrew P. Tolmach, Sergio Antoy

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

2001

Modular lazy search for Constraint Satisfaction Problems.

Thomas Nordin, Andrew P. Tolmach

J. Funct. Program., 2001

1999

Typed Higher-Order Narrowing without Higher-Order Strategies.

Sergio Antoy, Andrew P. Tolmach

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

From ML to Ada: Strongly-Typed Language Interoperability via Source Translation.

Andrew P. Tolmach, Dino Oliva

J. Funct. Program., 1998

Optimizing ML Using a Hierarchy of Monadic Types.

Andrew P. Tolmach

Proceedings of the Types in Compilation, Second International Workshop, 1998

Bridging the Gulf: A Common Intermediate Language for ML and Haskell.

Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

Proceedings of the POPL '98, 1998

Building Program Optimizers with Rewriting Strategies.

Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1995

A Debugger for Standard ML.

Andrew P. Tolmach, Andrew W. Appel

J. Funct. Program., 1995

1994

Tag-Free Garbage Collection Using Explicit Type Parameters.

Andrew P. Tolmach

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.

J. Gregory Morrisett, Andrew P. Tolmach

Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

1991

Debuggable Concurrency Extensions for Standard ML.

Andrew P. Tolmach, Andrew W. Appel

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

1990

Debugging Standard ML Without Reverse Engineering.

Andrew P. Tolmach, Andrew W. Appel

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990