Not registered as user yet

Name:Toshiyuki Maeda
Affiliation:Chiba Institute of Technology, Japan

Contributions

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