| 2026 | ECOOP | Ownership Refinement Types for Pointer Arithmetic and Nested Arrays. | Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga, Atsushi Igarashi |
| 2025 | ASPDAC | Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications. | Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto |
| 2025 | ATVA | Componentwise Automata Learning for System Integration. | Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo |
| 2025 | CAV | StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. | Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga |
| 2025 | ICLR | SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches. | Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi |
| 2025 | ICTAC | Active Learning of Symbolic Mealy Automata. | Kengo Irie, Masaki Waga, Kohei Suenaga |
| 2025 | SP | CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction. | Song Bian, Zian Zhao, Ruiyu Shen, Zhou Zhang, Ran Mao, Dawei Li, Yizhong Liu, Masaki Waga, Kohei Suenaga, Zhenyu Guan, Jiafeng Hua, Yier Jin, Jianwei Liu |
| 2024 | NDSS | HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation. | Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu |
| 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 |
| 2023 | ATVA | Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. | Amit Gurung, Masaki Waga, Kohei Suenaga |
| 2023 | JELIA | Formalizing Statistical Causality via Modal Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2022 | ACCV | BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. | Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga |
| 2022 | CAV | Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. | Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga |
| 2022 | CAV | The Lattice-Theoretic Essence of Property Directed Reachability Analysis. | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo |
| 2021 | KR | Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. | Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga |
| 2021 | RV | Efficient Black-Box Checking via Model Checking with Strengthened Specifications. | Junya Shijubo, Masaki Waga, Kohei Suenaga |
| 2021 | TACAS | Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. | Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi |
| 2020 | ACCV | Visualizing Color-Wise Saliency of Black-Box Image Classification Models. | Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga |
| 2020 | ESOP | ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. | John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi |
| 2020 | LREC | A Contract Corpus for Recognizing Rights and Obligations. | Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori |
| 2020 | VMCAI | Generalized Property-Directed Reachability for Hybrid Systems. | Kohei Suenaga, Takuya Ishizawa |
| 2018 | APLAS | Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. | Taro Sekiyama, Kohei Suenaga |
| 2018 | PEPM | A guess-and-assume approach to loop fusion for program verification. | Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
| 2017 | APLAS | A Nonstandard Functional Programming Language. | Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
| 2017 | APLAS | Sharper and Simpler Nonlinear Interpolants for Program Verification. | Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2016 | SAS | Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. | Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga |
| 2014 | APLAS | Automatic Memory Management Based on Program Transformation Using Ownership. | Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
| 2013 | POPL | Hyperstream processing systems: nonstandard modeling of continuous-time signals. | Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo |
| 2012 | CAV | Exercises in Nonstandard Static Analysis of Hybrid Systems. | Ichiro Hasuo, Kohei Suenaga |
| 2012 | OOPSLA | Type-based safe resource deallocation for shared-memory concurrency. | Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi |
| 2011 | ICALP | Programming with Infinitesimals: A While-Language for Hybrid System Modeling. | Kohei Suenaga, Ichiro Hasuo |
| 2009 | APLAS | Fractional Ownerships for Safe Memory Deallocation. | Kohei Suenaga, Naoki Kobayashi |
| 2008 | APLAS | Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. | Kohei Suenaga |
| 2007 | ESOP | Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. | Kohei Suenaga, Naoki Kobayashi |
| 2006 | VMCAI | Resource Usage Analysis for the | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik |
| 2005 | LOPSTR | Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. | Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa |
| 2004 | APLAS | Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |