Lau Skorstengaard

Identifiers

• name variant Lau Skorstengaard 0.50 · backfill

Papers (3)

1. An Introduction to Logical Relations cs.PL · 2019 · author #1
2. Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details cs.PL · 2019 · author #1
3. StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Dominique Devriese 2 shared papers
• Lars Birkedal 2 shared papers