StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities
The work
| Authors | Lau Skorstengaard; Dominique Devriese; Lars Birkedal |
|---|---|
| Editors | |
| Type | article |
| Year | 2019 |
| Citekey | skorstengaard2019stktokens |
Where it appeared
| Published in | Proceedings of the ACM on Programming Languages |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 3 |
| Issue | POPL |
| Pages | 1--28 |
Identifiers
| DOI | 10.1145/3290332 |
|---|---|
| OpenAlex | W2900137615 |
Access
| Landing page | https://doi.org/10.1145/3290332 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3290332 |
Related
| Distinct from | skorstengaard2021stktokens |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We propose and study StkTokens: a new calling convention that provably enforces well-bracketed control flow and local state encapsulation on a capability machine. The calling convention is based on linear capabilities: a type of capabilities that are prevented from being duplicated by the hardware. In addition to designing and formalizing this new calling convention, we also contribute a new way to formalize and prove that it effectively enforces well-bracketed control flow and local state encapsulation using what we call a fully abstract overlay semantics.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-25 20:39 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{skorstengaard2019stktokens,
title = {StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities},
author = {Lau Skorstengaard and Dominique Devriese and Lars Birkedal},
year = {2019},
journal = {Proceedings of the ACM on Programming Languages},
publisher = {Association for Computing Machinery},
volume = {3},
number = {POPL},
pages = {1--28},
doi = {10.1145/3290332},
}
This record lives at https://refs.drheap.org/skorstengaard2019stktokens/ and will keep doing so.