We stand with Ukraine  

Lau Skorstengaard

According to our database1, Lau Skorstengaard authored at least 5 papers between 2018 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities.
[BibTeX]
[DOI]
Lau Skorstengaard
,
Dominique Devriese
,
Lars Birkedal
J. Funct. Program., 2021

2019
An Introduction to Logical Relations.
[BibTeX]
[DOI]
Lau Skorstengaard
CoRR, 2019

Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details.
[BibTeX]
[DOI]
Lau Skorstengaard
,
Dominique Devriese
,
Lars Birkedal
CoRR, 2019

2018
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details.
[BibTeX]
[DOI]
Lau Skorstengaard
,
Dominique Devriese
,
Lars Birkedal
CoRR, 2018

Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management.
[BibTeX]
[DOI]
Lau Skorstengaard
,
Dominique Devriese
,
Lars Birkedal
Proceedings of the Programming Languages and Systems, 2018


  Loading...