Takashi Suwa

According to our database, Takashi Suwa authored at least 4 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types.

Takashi Suwa, Atsushi Igarashi

CoRR, April, 2026

2024

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.

Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga

Proceedings of the Runtime Verification - 24th International Conference, 2024

An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming.

Takashi Suwa, Atsushi Igarashi

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2017

Verification of code generators via higher-order model checking.

Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017