Tomoharu Ugawa, Tatsuya Abe 0001, Toshiyuki Maeda
Model checking copy phases of concurrent copying garbage collection with various memory models
OOPSLA, 2017.
@article{OOPSLA-2017-UgawaAM,
author = "Tomoharu Ugawa and Tatsuya Abe 0001 and Toshiyuki Maeda",
doi = "10.1145/3133877",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "26",
publisher = "{ACM}",
title = "{Model checking copy phases of concurrent copying garbage collection with various memory models}",
volume = 1,
year = 2017,
}