Andrew Tolmach -

Registered user since Wed 7 Jan 2015

Name:Andrew Tolmach

Affiliation:Portland State University

Personal website:http://www.cs.pdx.edu/~apt

Contributions

EVCS	Author of Eelco Visser: The Oregon Connection within the Eelco Visser Commemorative Symposium-track
POPL 2023	Committee Member in Program Committee within the POPL-track
PriSC 2023	Author of SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine within the PriSC 2023-track
CPP 2021	Author of Towards formally verified compilation of tag-based policy enforcement within the CPP 2021-track
CoqPL 2020	Committee Member in Program Committee within the CoqPL-track
PriSC 2020	Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track
ECOOP 2019	Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
POPL 2018	Author of Intrinsically-Typed Definitional Interpreters for Imperative Languages within the Research Papers-track Author of Intrinsically-Typed Definitional Interpreters within the Artifact Evaluation-track
PriSC 2018	Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
ECOOP 2016	Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Artifacts-track Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Posters-track Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Research Track-track
PEPM 2016	Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track
ESOP 2015	Author of A Theory of Name Resolution within the ESOP-track
Onward! 2014	Author of A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs within the Onward! Papers-track