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

CoqPL 2020Committee Member in Program Committee within the CoqPL-track
PriSC 2020Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track
ECOOP 2019Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
PriSC 2018Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
POPL 2018Author 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 2016Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track
ECOOP 2016Author 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 2015Author of A Theory of Name Resolution within the ESOP-track
Onward! 2014Author of A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs within the Onward! Papers-track