Aarhus University Seal / Aarhus Universitets segl

Lau Skorstengaard

  1. 2019
  2. Published

    Formal Reasoning about Capability Machines. / Skorstengaard, Lau.

    2019. 195 p.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  3. Published

    StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities. / Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars.

    Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages: POPL 2019. Vol. 3 New York, NY, USA : ACM, 2019. 19.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. Accepted/In press

    Reasoning About a Machine with Local Capabilities : Provably Safe Stack and Return Pointer Management. / Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars.

    In: ACM Transactions on Programming Langauges and Systems (TOPLAS), 2019.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  5. 2018
  6. Published

    Reasoning About a Machine with Local Capabilities : Provably Safe Stack and Return Pointer Management. / Skorstengaard, Lau; Devriese, Dominique; Birkedal, Lars.

    Programming Languages and Systems. ed. / Amal Ahmed. Vol. 10801 Cham : Springer VS, 2018. p. 475-501 (Lecture Notes in Computer Science (LNCS); No. 10801).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review