• Sign in
  • Sign up
conf.researchr.org / Shunsuke Shimizu
  • PLDI 2020 profile
  • POPL 2016 profile

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

Share
xSat 21 May 05:42
using conf.researchr.org (v1.55.6)
Support page
Sign Up