Kohei Suenaga

88 papers A* 6A 3B 15C 5Journal 45Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
SoftMatcha 2: A Fast and Soft Pattern Matcher for Trillion-Scale Corpora.
CoRR
Masataka Yoneda, Yusuke Matsushita, Go Kamoda, Kohei Suenaga, Takuya Akiba, Masaki Waga, Sho Yokoi
2025 C conf
Active Learning of Symbolic Mealy Automata.
ICTAC
Kengo Irie, Masaki Waga, Kohei Suenaga
2025 J jnl
Active Learning of Symbolic Mealy Automata.
CoRR
Kengo Irie, Masaki Waga, Kohei Suenaga
2025 A* conf
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.
SP
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
2025 J jnl
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version).
CoRR
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2025 — conf
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis.
HSCC
Chiao Hsieh, Masaki Waga, Kohei Suenaga
2025 J jnl
Componentwise Automata Learning for System Integration (Extended Version).
CoRR
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 B conf
Componentwise Automata Learning for System Integration.
ATVA
Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo
2025 J jnl
Efficient Black-Box Checking with Specification-Guided Abstraction.
ACM Trans. Embed. Comput. Syst.
Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, Masaki Waga
2025 — conf
Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications.
ASP-DAC
Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto
2025 J jnl
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences.
CoRR
Tomonari Tanaka, Takumi Uezono, Kohei Suenaga, Masanori Hashimoto
2025 A* conf
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
ICLR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2025 J jnl
SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches.
CoRR
Hiroyuki Deguchi, Go Kamoda, Yusuke Matsushita, Chihiro Taguchi, Kohei Suenaga, Masaki Waga, Sho Yokoi
2025 — conf
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs.
CAV (2)
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
2024 J jnl
CHLOE: Loop Transformation over Fully Homomorphic Encryption via Multi-Level Vectorization and Control-Path Reduction.
IACR Cryptol. ePrint Arch.
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 J jnl
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program.
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2024 C conf
Goal-Aware RSS for Complex Scenarios via Program Logic.
IV
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2024 A* conf
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation.
NDSS
Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu
2024 B conf
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
RV
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
2024 J jnl
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
CoRR
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
2024 J jnl
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.
Artif. Intell.
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2024 J jnl
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs.
CoRR
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
2024 C conf
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns.
ICBC
Yuki Nishida, Kohei Suenaga, Atsushi Igarashi
2023 B conf
Formalizing Statistical Causality via Modal Logic.
JELIA
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2023 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
IEEE Trans. Intell. Veh.
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2023 J jnl
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation.
IACR Cryptol. ePrint Arch.
Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu
2023 — conf
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.
ATVA (1)
Amit Gurung, Masaki Waga, Kohei Suenaga
2023 J jnl
Learning nonlinear hybrid automata from input-output time-series data.
CoRR
Amit Gurung, Masaki Waga, Kohei Suenaga
2023 J jnl
Probabilistic Black-Box Checking via Active MDP Learning.
CoRR
Junya Shijubo, Masaki Waga, Kohei Suenaga
2023 J jnl
Probabilistic Black-Box Checking via Active MDP Learning.
ACM Trans. Embed. Comput. Syst.
Junya Shijubo, Masaki Waga, Kohei Suenaga
2022 — conf
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.
ACCV (7)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
2022 J jnl
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.
CoRR
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
2022 J jnl
Formalizing Statistical Causality via Modal Logic.
CoRR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2022 J jnl
Goal-Aware RSS for Complex Scenarios via Program Logic.
CoRR
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
2022 J jnl
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
New Gener. Comput.
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2022 — conf
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
CAV (1)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
2022 J jnl
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
CoRR
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
2022 J jnl
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs.
CoRR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2022 — conf
The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
CAV (1)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2022 J jnl
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2021 J jnl
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs.
CoRR
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
2021 B conf
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
RV
Junya Shijubo, Masaki Waga, Kohei Suenaga
2021 J jnl
Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
CoRR
Junya Shijubo, Masaki Waga, Kohei Suenaga
2021 J jnl
Enhancing Loop-Invariant Synthesis via Reinforcement Learning.
CoRR
Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga
2021 A* conf
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.
KR
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
2021 J jnl
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types.
CoRR
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2021 — conf
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
TACAS (2)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2021 J jnl
Verification of a Merkle Patricia Tree Library Using F.
CoRR
Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2020 B conf
A Contract Corpus for Recognizing Rights and Obligations.
LREC
Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori
2020 A conf
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
ESOP
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
2020 J jnl
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
CoRR
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
2020 B conf
Generalized Property-Directed Reachability for Hybrid Systems.
VMCAI
Kohei Suenaga, Takuya Ishizawa
2020 — conf
Visualizing Color-Wise Saliency of Black-Box Image Classification Models.
ACCV (3)
Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga
2020 J jnl
Visualizing Color-wise Saliency of Black-Box Image Classification Models.
CoRR
Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga
2019 J jnl
Generalized Property-Directed Reachability for Hybrid Systems.
CoRR
Kohei Suenaga, Takuya Ishizawa
2018 C conf
A guess-and-assume approach to loop fusion for program verification.
PEPM
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
2018 B conf
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.
APLAS
Taro Sekiyama, Kohei Suenaga
2018 J jnl
Automated proof synthesis for propositional logic with deep neural networks.
CoRR
Taro Sekiyama, Kohei Suenaga
2018 J jnl
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis.
Theor. Comput. Sci.
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
2018 — conf
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
MT@CPSWeek
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2018 J jnl
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 B conf
A Nonstandard Functional Programming Language.
APLAS
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
2017 — conf
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
FORMATS
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 J jnl
Efficient Online Timed Pattern Matching by Automata-Based Skipping.
CoRR
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
2017 B conf
Sharper and Simpler Nonlinear Interpolants for Program Verification.
APLAS
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2017 J jnl
Sharper and Simpler Nonlinear Interpolants for Program Verification.
CoRR
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2017 J jnl
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.
CoRR
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
2016 B conf
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis.
SAS
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
2016 J jnl
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis.
CoRR
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
2015 J jnl
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).
NII Shonan Meet. Rep.
Daisuke Ishii, Kohei Suenaga, Walid Taha
2014 B conf
Automatic Memory Management Based on Program Transformation Using Ownership.
APLAS
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
2014 — conf
Input Synthesis for Sampled Data Systems by Program Logic.
HAS
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
2013 A* conf
Hyperstream processing systems: nonstandard modeling of continuous-time signals.
POPL
Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo
2012 A* conf
Exercises in Nonstandard Static Analysis of Hybrid Systems.
CAV
Ichiro Hasuo, Kohei Suenaga
2012 A conf
Type-based safe resource deallocation for shared-memory concurrency.
OOPSLA
Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi
2011 J jnl
Ordered Types for Stream Processing of Tree-Structured Data.
Inf. Media Technol.
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
2011 J jnl
Ordered Types for Stream Processing of Tree-Structured Data.
J. Inf. Process.
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
2011 — conf
Programming with Infinitesimals: A While-Language for Hybrid System Modeling.
ICALP (2)
Kohei Suenaga, Ichiro Hasuo
2009 B conf
Fractional Ownerships for Safe Memory Deallocation.
APLAS
Kohei Suenaga, Naoki Kobayashi
2008 J jnl
Translation of tree-processing programs into stream-processing programs based on ordered linear type.
J. Funct. Program.
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
2008 B conf
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.
APLAS
Kohei Suenaga
2007 A conf
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.
ESOP
Kohei Suenaga, Naoki Kobayashi
2006 B conf
Resource Usage Analysis for the
VMCAI
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
2006 J jnl
Resource Usage Analysis for the Pi-Calculus
CoRR
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
2006 J jnl
Resource Usage Analysis for the p-Calculus.
Log. Methods Comput. Sci.
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
2005 C conf
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.
LOPSTR
Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
2004 B conf
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.
APLAS
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
2003 — conf
The Interface Definition Language for Fail-Safe C.
ISSS
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa