Decoupling lock-free data structures from memory reclamation for static analysis.
Roland MeyerSebastian WolffPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- static analysis
- data structure
- memory management
- dynamic analysis
- main memory
- source code
- external memory
- bloom filter
- java card
- symbolic execution
- malicious code
- input output
- abstract interpretation
- hash table
- operating system
- read write
- regular expressions
- test suite
- training data
- storage management
- real world
- test generation
- concurrency control
- open source
- case study
- databases
- hardware implementation
- index structure
- object oriented
- data sources