Tatsuya Abe -

Not registered as user

Name:Tatsuya Abe

Affiliation:Chiba Institute of Technology, Japan

Contributions

2019

MPLR

Author of A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language within the MPLR 2019-track

2017

SPLASH

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