Not registered as user yet

Name: Tatsuya Abe

Affiliation: Chiba Institute of Technology, Japan

Contributions

SPLASH 2017Author of Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models within the OOPSLA-track