• Sign in
  • Sign up
conf.researchr.org / Makoto Tatsuta
  • APLAS 2019 profile
  • SPLASH 2021 profile
Makoto Tatsuta

Registered user since Mon 4 Mar 2019

Name:Makoto Tatsuta
Affiliation:National Institute of Informatics
Personal website: http://research.nii.ac.jp/~tatsuta/index-e.html

Contributions

2021

APLAS

  • Author of Function Pointer Eliminator for C Programs within the Research Papers-track

2019

APLAS

  • Ordinary PC member in Program Committee within the Research Papers-track
  • Author of Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions within the Research Papers-track
Share
xMon 19 May 23:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up