C.B. Poulsen

Dr.

Electrical Engineering, Mathematics and Computer Science, Programming Languages

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where C.B. Poulsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

4 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

3 Conference contribution
3 Article
1 Other
1 Working paper

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Rouvoet, A., Poulsen, C., Krebbers, R. & Visser, E., 2020, ACM DL, p. 284-298, 15 p.
Research output: Working paper

Open Access
File
26 Downloads (Pure)
Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications
Rouvoet, A., Van Antwerpen, H., Poulsen, C. B., Krebbers, R. & Visser, E., 2020, In : Proceedings of the ACM on Programming Languages. 4, OOPSLA, p. 1-28 28 p., 180.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
2 Downloads (Pure)
From definitional interpreter to symbolic executor
Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Open Access
File
23 Downloads (Pure)
Compositional soundness proofs of abstract interpreters
Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Open Access
File
7 Downloads (Pure)
Intrinsically-Typed Definitional Interpreters for Imperative Languages
Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
70 Downloads (Pure)

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

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

From definitional interpreter to symbolic executor

Compositional soundness proofs of abstract interpreters

Intrinsically-Typed Definitional Interpreters for Imperative Languages