Shunsuke Shimizu -

Registered user since Wed 20 May 2020

Name:Shunsuke Shimizu

Affiliation:Preferred Networks

Contributions

MAPL 2020	Author of Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs within the MAPL-track
POPL 2016	Author of Lattice-Theoretic Progress Measures and Coalgebraic Model Checking within the Research Papers-track