Casper Bach Poulsen

Registered user since Wed 4 May 2016

Name: Casper Bach Poulsen

Affiliation: Delft University of Technology

Contributions

PEPM 2020Co-chair in PC Chairs within the PEPM 2020-track
Co-chair in Program Committee within the PEPM 2020-track
META 2019Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track
SLE 2019Committee Member in Program Committee within the SLE 2019-track
PLNL 2018Author of Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly within the PLNL-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2018Author of Scopes as Types within the Artifacts-track
Author of Scopes as Types within the Posters-track
Author of Scopes as Types within the OOPSLA-track
ICFP 2018Author of Compositional Soundness Proofs of Abstract Interpreters within the Research Papers-track
GPCE 2017Committee Member in Program Committee within the GPCE 2017-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
ECOOP 2016Author of Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics within the Research Track-track
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
SPLASH 2016Panelist of Panel: Young Researchers within the PLMW-track
PEPM 2015Author of Imperative Polymorphism by Store-Based Types as Abstract Interpretations within the PEPM 2015-track