Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Tolmach
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP 2019 profile
ESOP 2015 profile
EVCS profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
SPLASH 2014 profile
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
Share
x
Wed 8 Feb 09:16