About
I am a postdoctoral researcher in the Programming Languages Group at Delft University of Technology, working with Eelco Visser.
Before that, I was a PhD in the PLanCompS project at Swansea University, where I was supervised by Peter Mosses.
Research interests
I am broadly interested in programming language semantics and type systems, and tools for specifying, reasoning about, and executing these. I use Coq for proof assistance.
Activities & News
17-22 Jul 2016: attending and presenting at ECOOP in Rome
10 May 2016: Flag-Based Big-Step Semantics to appear in JLAMP SI: NWPT'14
21 Apr 2016: ECOOP'16 artifact for Scopes Describe Frames to appear in the Dagstuhl Artifacts Series
2 Apr 2016: Scopes Describe Frames to appear in ECOOP'16 proceedings
22 Feb 2016: successfully defended my PhD thesis
Publications
Casper Bach Poulsen, Pierre Neron, Andrew Tolmach, and Eelco Visser: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. ECOOP 2016
Casper Bach Poulsen and Peter D. Mosses: Flag-Based Big-Step Semantics. To appear in special issue of Journal of Logic and Algebraic Methods in Programming
Casper Bach Poulsen, Peter D. Mosses, and Paolo Torrini: Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM 2015
Casper Bach Poulsen and Peter D. Mosses: Deriving Pretty-Big-Step Semantics from Small-Step Semantics. ESOP 2014
Casper Bach Poulsen and Peter D. Mosses: Generating Specialized Interpreters for Modular Structural Operational Semantics. LOPSTR 2013