POPL 2020 Artifact

Wolff09 released this 16 Oct 09:22

· 8 commits to master since this release

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