Lau Skorstengaard

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Qualitative Reasoning

Software Testing

Technical Report

Detailed Discussion

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. J. Funct. Program. 31 (2021)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Proc. ACM Program. Lang. 3 (POPL) (2019)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details. CoRR (2019)
Lau Skorstengaard
An Introduction to Logical Relations. CoRR (2019)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. ESOP (2018)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details. CoRR (2018)