Casper Bach Poulsen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang., 2020

Intrinsically-typed definitional interpreters for linear, session-typed languages.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
From definitional interpreter to symbolic executor.
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

2018
Intrinsically-typed definitional interpreters for imperative languages.
Proc. ACM Program. Lang., 2018

Compositional soundness proofs of abstract interpreters.
Proc. ACM Program. Lang., 2018

Scopes as types.
Proc. ACM Program. Lang., 2018

2017
Flag-based big-step semantics.
J. Log. Algebraic Methods Program., 2017

2016
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
Dagstuhl Artifacts Ser., 2016

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Imperative Polymorphism by Store-Based Types as Abstract Interpretations.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014
Deriving Pretty-Big-Step Semantics from Small-Step Semantics.
Proceedings of the Programming Languages and Systems, 2014

2013
Generating Specialized Interpreters for Modular Structural Operational Semantics.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013


  Loading...