Casper Bach Poulsen

According to our database, Casper Bach Poulsen authored at least 12 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.

Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2020

Intrinsically-typed definitional interpreters for linear, session-typed languages.

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

From definitional interpreter to symbolic executor.

Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

2018

Intrinsically-typed definitional interpreters for imperative languages.

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

Proc. ACM Program. Lang., 2018

Compositional soundness proofs of abstract interpreters.

Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg

Proc. ACM Program. Lang., 2018

Scopes as types.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser

Proc. ACM Program. Lang., 2018

2017

Flag-based big-step semantics.

Casper Bach Poulsen, Peter D. Mosses

J. Log. Algebraic Methods Program., 2017

2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Dagstuhl Artifacts Ser., 2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Imperative Polymorphism by Store-Based Types as Abstract Interpretations.

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

Deriving Pretty-Big-Step Semantics from Small-Step Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Programming Languages and Systems, 2014

2013

Generating Specialized Interpreters for Modular Structural Operational Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013