Kohei Suenaga

Available identifiers

zbMath Open suenaga.koheiMaRDI QIDQ784141

List of research outcomes

Publication	Date of Publication	Type
Formalizing statistical causality via modal logic	2024-05-29	Paper
Control-data separation and logical condition propagation for efficient inference on probabilistic programs	2024-02-12	Paper
Automated proof synthesis for the minimal propositional logic with deep neural networks	2023-08-02	Paper
Sharper and Simpler Nonlinear Interpolants for Program Verification	2022-12-09	Paper
A Nonstandard Functional Programming Language	2022-12-09	Paper
The Lattice-Theoretic Essence of Property Directed Reachability Analysis	2022-12-07	Paper
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption	2022-12-07	Paper
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs	2022-10-13	Paper
Generalized property-directed reachability for hybrid systems	2020-08-05	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis	2018-09-24	Paper
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis	2018-08-27	Paper
Efficient online timed pattern matching by automata-based skipping	2017-12-01	Paper
Automatic Memory Management Based on Program Transformation Using Ownership	2016-02-26	Paper
Hyperstream processing systems	2014-11-27	Paper
Programming with Infinitesimals: A While-Language for Hybrid System Modeling	2011-07-07	Paper
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives	2009-01-15	Paper
Translation of tree-processing programs into stream-processing programs based on ordered linear type	2008-05-22	Paper
Resource Usage Analysis for the Pi-Calculus	2007-10-11	Paper
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts	2007-09-04	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Programming Languages and Systems	2005-08-17	Paper

Research outcomes over time

This page was built for person: Kohei Suenaga