Takashi Suwa -

Registered user since Wed 15 May 2024

Name:Takashi Suwa

Country:Japan

Affiliation:Kyoto University and Imiron

Personal website: https://gfngfn.github.io

X (Twitter): https://x.com/en_gfngfn

GitHub: https://github.com/gfngfn

Research interests:Programming languages, type systems, formal methods

Contributions

2026

ECOOP

Author of Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types within the Technical Papers-track

FM

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

APLAS

Author of [SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts within the SRC & Posters-track

FLOPS

Author of An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming within the FLOPS 2024-track