The Interface Definition Language for Fail-Safe C. - Kohei Suenaga; Yutaka Oiwa; Eijiro Sumii; Akinori Yonezawa (ISSS, 2003)

Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. - Kohei Suenaga; Naoki Kobayashi 001; Akinori Yonezawa (LOPSTR, 2005)

Resource Usage Analysis for the pi-Calculus. - Naoki Kobayashi 001; Kohei Suenaga; Lucian Wischik (VMCAI, 2006)

Resource Usage Analysis for the Pi-Calculus - Naoki Kobayashi 001; Kohei Suenaga; Lucian Wischik (CoRR, 2006)

Resource Usage Analysis for the p-Calculus. - Naoki Kobayashi 001; Kohei Suenaga; Lucian Wischik (Log. Methods Comput. Sci., 2006)

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. - Kohei Suenaga; Naoki Kobayashi 001 (ESOP, 2007)

Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. - Kohei Suenaga (APLAS, 2008)

Translation of tree-processing programs into stream-processing programs based on ordered linear type. - Koichi Kodama; Kohei Suenaga; Naoki Kobayashi 001 (J. Funct. Program., 2008)

Fractional Ownerships for Safe Memory Deallocation. - Kohei Suenaga; Naoki Kobayashi 001 (APLAS, 2009)

Programming with Infinitesimals: A While-Language for Hybrid System Modeling. - Kohei Suenaga; Ichiro Hasuo (ICALP (2), 2011)

Ordered Types for Stream Processing of Tree-Structured Data. - Ryosuke Sato 001; Kohei Suenaga; Naoki Kobayashi 001 (J. Inf. Process., 2011)

Exercises in Nonstandard Static Analysis of Hybrid Systems. - Ichiro Hasuo; Kohei Suenaga (CAV, 2012)

Type-based safe resource deallocation for shared-memory concurrency. - Kohei Suenaga; Ryota Fukuda; Atsushi Igarashi (OOPSLA, 2012)

Hyperstream processing systems: nonstandard modeling of continuous-time signals. - Kohei Suenaga; Hiroyoshi Sekine; Ichiro Hasuo (POPL, 2013)

Automatic Memory Management Based on Program Transformation Using Ownership. - Tatsuya Sonobe; Kohei Suenaga; Atsushi Igarashi (APLAS, 2014)

Input Synthesis for Sampled Data Systems by Program Logic. - Takumi Akazaki; Ichiro Hasuo; Kohei Suenaga (HAS, 2014)

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). - Daisuke Ishii; Kohei Suenaga; Walid Taha (NII Shonan Meet. Rep., 2015)

A Nonstandard Functional Programming Language. - Hirofumi Nakamura; Kensuke Kojima; Kohei Suenaga; Atsushi Igarashi (APLAS, 2017)

Sharper and Simpler Nonlinear Interpolants for Program Verification. - Takamasa Okudono; Yuki Nishida 001; Kensuke Kojima; Kohei Suenaga; Kengo Kido; Ichiro Hasuo (APLAS, 2017)

Efficient Online Timed Pattern Matching by Automata-Based Skipping. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (FORMATS, 2017)

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. - Taro Sekiyama; Akifumi Imanishi; Kohei Suenaga (CoRR, 2017)

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. - Taro Sekiyama; Kohei Suenaga (APLAS, 2018)

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. - Masaki Waga; Ichiro Hasuo; Kohei Suenaga (MT@CPSWeek, 2018)

A guess-and-assume approach to loop fusion for program verification. - Akifumi Imanishi; Kohei Suenaga; Atsushi Igarashi (PEPM, 2018)

Automated proof synthesis for propositional logic with deep neural networks. - Taro Sekiyama; Kohei Suenaga (CoRR, 2018)

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. - Kensuke Kojima; Minoru Kinoshita; Kohei Suenaga (Theor. Comput. Sci., 2018)

Visualizing Color-Wise Saliency of Black-Box Image Classification Models. - Yuhki Hatakeyama; Hiroki Sakuma; Yoshinori Konishi; Kohei Suenaga (ACCV (3), 2020)

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. - John Toman; Ren Siqi; Kohei Suenaga; Atsushi Igarashi; Naoki Kobayashi 001 (ESOP, 2020)

A Contract Corpus for Recognizing Rights and Obligations. - Ruka Funaki; Yusuke Nagata; Kohei Suenaga; Shinsuke Mori (LREC, 2020)

Generalized Property-Directed Reachability for Hybrid Systems. - Kohei Suenaga; Takuya Ishizawa (VMCAI, 2020)

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (KR, 2021)

Efficient Black-Box Checking via Model Checking with Strengthened Specifications. - Junya Shijubo; Masaki Waga; Kohei Suenaga (RV, 2021)

Verification of a Merkle Patricia Tree Library Using F. - Sota Sato 002; Ryotaro Banno; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (CoRR, 2021)

Enhancing Loop-Invariant Synthesis via Reinforcement Learning. - Takeshi Tsukada; Hiroshi Unno 001; Taro Sekiyama; Kohei Suenaga (CoRR, 2021)

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. - Atsushi Kikuchi; Kotaro Uchida; Masaki Waga; Kohei Suenaga (ACCV (7), 2022)

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. - Ryotaro Banno; Kotaro Matsuoka; Naoki Matsumoto; Song Bian 001; Masaki Waga; Kohei Suenaga (CAV (1), 2022)

The Lattice-Theoretic Essence of Property Directed Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CAV (1), 2022)

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CoRR, 2022)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. - Yuki Nishida 001; Hiromasa Saito; Ran Chen; Akira Kawata; Jun Furuse; Kohei Suenaga; Atsushi Igarashi (New Gener. Comput., 2022)

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. - Amit Gurung; Masaki Waga; Kohei Suenaga (ATVA (1), 2023)

Formalizing Statistical Causality via Modal Logic. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (JELIA, 2023)

HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation. - Song Bian 001; Zian Zhao; Zhou Zhang 016; Ran Mao; Kohei Suenaga; Yier Jin; Zhenyu Guan; Jianwei Liu 001 (IACR Cryptol. ePrint Arch., 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Probabilistic Black-Box Checking via Active MDP Learning. - Junya Shijubo; Masaki Waga; Kohei Suenaga (ACM Trans. Embed. Comput. Syst., 2023)

iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. - Yuki Nishida 001; Kohei Suenaga; Atsushi Igarashi (ICBC, 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)

CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction. - Song Bian 001; Zian Zhao; Ruiyu Shen; Zhou Zhang 016; Ran Mao; Dawei Li 009; Yizhong Liu; Masaki Waga; Kohei Suenaga; Zhenyu Guan; Jiafeng Hua; Yier Jin; et al. (IACR Cryptol. ePrint Arch., 2024)

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. - Yusuke Kawamoto 001; Tetsuya Sato 001; Kohei Suenaga (Artif. Intell., 2024)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)

Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications. - Tomonari Tanaka; Takumi Uezono; Kohei Suenaga; Masanori Hashimoto (ASP-DAC, 2025)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. - Yusuke Kawamoto 001; Kentaro Kobayashi; Kohei Suenaga (CAV (2), 2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis. - Chiao Hsieh; Masaki Waga; Kohei Suenaga (HSCC, 2025)

SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches. - Hiroyuki Deguchi 002; Go Kamoda; Yusuke Matsushita 002; Chihiro Taguchi; Kohei Suenaga; Masaki Waga; Sho Yokoi (ICLR, 2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version). - Chiao Hsieh; Masaki Waga; Kohei Suenaga (CoRR, 2025)

In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences. - Tomonari Tanaka; Takumi Uezono; Kohei Suenaga; Masanori Hashimoto (CoRR, 2025)