Skip to content

Releases: Wolff09/seal

PhD Artifact

01 Mar 12:47
@Wolff09 Wolff09
PhD21
558ddc8
Compare
Choose a tag to compare
PhD Artifact Latest
Latest

Artifact accompanying PhD thesis: type system and reduction technique from Section 8. For more details visit: https://wolff09.github.io/phd/

Assets 2
Loading

POPL 2020 Artifact

16 Oct 09:22
@Wolff09 Wolff09
POPL20
7813f17
Compare
Choose a tag to compare
POPL 2020 Artifact

Artifact accompanying the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) paper Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation by Roland Meyer and Sebastian Wolff.

For more details visit: https://wolff09.github.io/seal/

Assets 2
Loading