Takashi Suwa

Orcid: 0009-0004-9845-7419

According to our database1, Takashi Suwa authored at least 3 papers between 2017 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2026
An ML-style module system for cross-stage type abstraction in multi-stage programming.
Sci. Comput. Program., 2026

2024
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
Proceedings of the Runtime Verification - 24th International Conference, 2024

2017
Verification of code generators via higher-order model checking.
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017


  Loading...