Verification of code generators via higher-order model checking. - Takashi Suwa; Takeshi Tsukada; Naoki Kobayashi 001; Atsushi Igarashi (PEPM, 2017)

An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. - Takashi Suwa; Atsushi Igarashi (FLOPS, 2024)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. - Masaki Waga; Kotaro Matsuoka; Takashi Suwa; Naoki Matsumoto; Ryotaro Banno; Song Bian 001; Kohei Suenaga (RV, 2024)