Kohei Suenaga

According to our database, Kohei Suenaga authored at least 46 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

J. Log. Algebraic Methods Program., January, 2024

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

Artif. Intell., January, 2024

2023

Probabilistic Black-Box Checking via Active MDP Learning.

Junya Shijubo, Masaki Waga, Kohei Suenaga

ACM Trans. Embed. Comput. Syst., October, 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, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi

IEEE Trans. Intell. Veh., April, 2023

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

IACR Cryptol. ePrint Arch., 2023

Formalizing Statistical Causality via Modal Logic.

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data.

Amit Gurung, Masaki Waga, Kohei Suenaga

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

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

New Gener. Comput., 2022

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.

Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models.

Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Enhancing Loop-Invariant Synthesis via Reinforcement Learning.

Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga

CoRR, 2021

Verification of a Merkle Patricia Tree Library Using F.

Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

CoRR, 2021

Efficient Black-Box Checking via Model Checking with Strengthened Specifications.

Junya Shijubo, Masaki Waga, Kohei Suenaga

Proceedings of the Runtime Verification - 21st International Conference, 2021

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Generalized Property-Directed Reachability for Hybrid Systems.

Kohei Suenaga, Takuya Ishizawa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

A Contract Corpus for Recognizing Rights and Obligations.

Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.

John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2020

Visualizing Color-Wise Saliency of Black-Box Image Classification Models.

Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga

Proceedings of the Computer Vision - ACCV 2020 - 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30, 2020

2018

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis.

Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Theor. Comput. Sci., 2018

Automated proof synthesis for propositional logic with deep neural networks.

Taro Sekiyama, Kohei Suenaga

CoRR, 2018

A guess-and-assume approach to loop fusion for program verification.

Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.

Taro Sekiyama, Kohei Suenaga

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.

Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga

CoRR, 2017

Efficient Online Timed Pattern Matching by Automata-Based Skipping.

Masaki Waga, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

A Nonstandard Functional Programming Language.

Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).

Daisuke Ishii, Kohei Suenaga, Walid Taha

NII Shonan Meet. Rep., 2015

2014

Input Synthesis for Sampled Data Systems by Program Logic.

Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga

Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014

Automatic Memory Management Based on Program Transformation Using Ownership.

Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Hyperstream processing systems: nonstandard modeling of continuous-time signals.

Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Type-based safe resource deallocation for shared-memory concurrency.

Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Exercises in Nonstandard Static Analysis of Hybrid Systems.

Ichiro Hasuo, Kohei Suenaga

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Ordered Types for Stream Processing of Tree-Structured Data.

Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi

J. Inf. Process., 2011

Programming with Infinitesimals: A While-Language for Hybrid System Modeling.

Kohei Suenaga, Ichiro Hasuo

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009

Fractional Ownerships for Safe Memory Deallocation.

Kohei Suenaga, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Translation of tree-processing programs into stream-processing programs based on ordered linear type.

Koichi Kodama, Kohei Suenaga, Naoki Kobayashi

J. Funct. Program., 2008

Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.

Kohei Suenaga

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.

Kohei Suenaga, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2007

2006

Resource Usage Analysis for the p-Calculus.

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Log. Methods Comput. Sci., 2006

Resource Usage Analysis for the Pi-Calculus

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

CoRR, 2006

Resource Usage Analysis for the <i>pi</i>-Calculus.

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik

Proceedings of the Verification, 2006

2005

Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.

Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2003

The Interface Definition Language for Fail-Safe C.

Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa

Proceedings of the Software Security, 2003