Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures
No abstract available.
Related papers
- Type-assisted automatic garbage collection for lock-free data structures ISMM 2017
- A scalable lock-free hash table with open addressing PPoPP 2016
- DieHard: probabilistic memory safety for unsafe languages PLDI 2006
- Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping Haskell 2017
- LOFT: lock-free transactional data structures PPoPP 2019
- Deadlock-Free Monitors ESOP 2018
- Detectable recovery of lock-free data structures PPoPP 2022
- A practical wait-free simulation for lock-free data structures PPoPP 2014