Collaborated with:Sebastian Wolff N.Gavrilenko H.P.d.León F.Furbach K.Heljanko
Talks about:memori (3) structur (2) analysi (2) reclam (2) lock (2) free (2) data (2) pointer (1) decoupl (1) compact (1)
Person: Roland Meyer 0001
DBLP: 0001:Roland_Meyer
Contributed to:
2019
20192020Wrote 3 papers:
- CAV-2019-GavrilenkoLFHM #analysis #encoding #memory management #modelling #smt
- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings (NG, HPdL, FF, KH, RM0), pp. 355–365.
- POPL-2019-MeyerW #data type #memory management #static analysis
- Decoupling lock-free data structures from memory reclamation for static analysis (RM0, SW), p. 31.
- POPL-2020-MeyerW #data type #lifecycle #memory management #pointer
- Pointer life cycle types for lock-free data structures with memory reclamation (RM0, SW), p. 36.