Casper Bach Poulsen

Registered user since Wed 4 May 2016

Name:Casper Bach Poulsen
Affiliation:Delft University of Technology
Personal website:http://casperbp.net

Contributions

PEPM 2022 Committee Member in Steering Committee within the PEPM 2022-track
APLAS 2021 Author of Latent Effects for Reusable Language Components within the Research Papers-track
DLS 2021 PC Member in Program Committee within the DLS 2021-track
PEPM 2021 Author of Staged Effects and Handlers for Modular Languages with Abstraction within the PEPM 2021-track
Committee Member in Steering Committee within the PEPM 2021-track
Committee Member in Program Committee within the PEPM 2021-track
SySEPL 2020 Committee Member in Program Committee within the SySEPL 2020-track
SPLASH 2020 Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track
Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track
Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track
Committee Member in External Review Committee within the OOPSLA-track
PEPM 2020 Co-chair in PC Chairs within the PEPM 2020-track
Session Chair of Opening & Keynote Talk 1 (part of PEPM 2020)
PC Chair of Opening within the PEPM 2020-track
Co-chair in Program Committee within the PEPM 2020-track
Session Chair of Keynote Talk 2 (part of PEPM 2020)
CPP 2020 Author of Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages within the CPP 2020-track
META 2019 Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track
SLE 2019 Committee Member in Program Committee within the SLE 2019-track
Session Chair of Session 3: Languages (part of SLE 2019)
PLNL 2018 Author of Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly within the PLNL-track
SPLASH 2019 Session Chair of Model Checking (part of OOPSLA)
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2018 Author 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 2018 Author of Compositional Soundness Proofs of Abstract Interpreters within the Research Papers-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-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
ECOOP 2016 Author 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 2016 Panelist of Panel: Young Researchers within the PLMW-track
PEPM 2015 Author of Imperative Polymorphism by Store-Based Types as Abstract Interpretations within the PEPM 2015-track