Collaborated with:T.Ugawa T.Maeda
Talks about:model (2) copi (2) various (1) concurr (1) collect (1) memori (1) garbag (1) phase (1) check (1)
Person: Tatsuya Abe 0001
DBLP: 0001:Tatsuya_Abe
Contributed to:
2017Wrote 1 papers:
- OOPSLA-2017-UgawaAM #concurrent #garbage collection #memory management #model checking #modelling
- Model checking copy phases of concurrent copying garbage collection with various memory models (TU, TA0, TM), p. 26.