Takashi Suwa

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 3

Top Topics

Computation Tree Logic

Reachability Analysis

Homomorphic Encryption

Top Venues

Publications

Takashi Suwa, Atsushi Igarashi
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS (2024)
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR (2024)
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Verification of code generators via higher-order model checking. PEPM (2017)