Takashi Suwa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types. | Takashi Suwa, Atsushi Igarashi |
| 2024 | FLOPS | An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. | Takashi Suwa, Atsushi Igarashi |
| 2024 | RV | Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. | Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga |
| 2017 | PEPM | Verification of code generators via higher-order model checking. | Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi |