BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0001:Roland_Meyer

Contributed to:

CAV (1) 20192019
POPL 20192019
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.