| Publication | Date of Publication | Type |
|---|
| Active learning of symbolic Mealy automata (edit) | 2026-03-20 | Paper |
| Certifying Lyapunov stability of black-box nonlinear systems via counterexample guided synthesis | 2025-11-07 | Paper |
| Formalizing statistical causality via modal logic | 2024-05-29 | Paper |
Control-data separation and logical condition propagation for efficient inference on probabilistic programs
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Automated proof synthesis for the minimal propositional logic with deep neural networks
Programming Languages and Systems | 2023-08-02 | Paper |
Sharper and Simpler Nonlinear Interpolants for Program Verification
Programming Languages and Systems | 2022-12-09 | Paper |
A Nonstandard Functional Programming Language
Programming Languages and Systems | 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
Programming Languages and Systems | 2022-10-13 | Paper |
Generalized property-directed reachability for hybrid systems
(available as arXiv preprint) | 2020-08-05 | Paper |
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis
Theoretical Computer Science | 2018-09-24 | Paper |
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis
Lecture Notes in Computer Science | 2018-08-27 | Paper |
Efficient online timed pattern matching by automata-based skipping
(available as arXiv preprint) | 2017-12-01 | Paper |
Automatic Memory Management Based on Program Transformation Using Ownership
Programming Languages and Systems | 2016-02-26 | Paper |
Hyperstream processing systems, nonstandard modeling of continuous-time signals
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Programming with Infinitesimals: A While-Language for Hybrid System Modeling
Automata, Languages and Programming | 2011-07-07 | Paper |
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Translation of tree-processing programs into stream-processing programs based on ordered linear type
Journal of Functional Programming | 2008-05-22 | Paper |
Resource Usage Analysis for the Pi-Calculus
Logical Methods in Computer Science | 2007-10-11 | Paper |
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
Programming Languages and Systems | 2007-09-04 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
