u/mttdin r/ProgrammingLanguages • Recommends
In Search of Verified On-The-Fly Concurrent Garbage Collection on Modern Processors - Tony Hosking - PLISS 2019
0:00 / 0:00
#garbagecollection#formalverification#concurrency
In Search of Verified On-The-Fly Concurrent Garbage Collection on Modern Processors - Tony Hosking
PLISS
908 subscribers • 3 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Tony Hosking
Advanced. Deep dive for people who know the field.
533 views7 years ago1 recommendation
Systems programmingComputer scienceConcurrency and parallelismMemory managementFormal methods and verification
Tony Hosking discusses the state of the art in concurrent garbage collection and the challenges of formalizing and verifying its correctness.
Tony Hosking describes the state of the art in concurrent garbage collection technology and his plans to formalize and prove correct a practical garbage collector. Part of PLISS 2019: pliss2019.github.io/