Andrew Tolmach

Registered user since Wed 7 Jan 2015

Name:Andrew Tolmach
Affiliation:Portland State University

Contributions

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
PriSC 2018 Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-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
PEPM 2016 Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-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
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