Not registered as user yet

Name: Toshiyuki Maeda

Affiliation: Chiba Institute of Technology, Japan

SPLASH 2017 Activities

• Author of Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models within the OOPSLA-track in SPLASH 2017
• Show activities from other conferences