Tachio Terauchi

Available identifiers

Publication	Date of Publication	Type
On the expressive power of regular expressions with backreferences	2024-12-03	Paper
On lookaheads in regular expressions with backreferences	2024-05-27	Paper
A formal analysis of timing channel security via bucketing	2023-11-24	Paper
Constraint-based relational verification	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5858726	2021-04-14	Paper
A Fixpoint Logic and Dependent Effects for Temporal Property Verification	2021-01-20	Paper
Compositional Synthesis of Leakage Resilient Programs	2020-08-03	Paper
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling	2019-09-17	Paper
Local temporal reasoning	2018-04-23	Paper
Temporal verification of higher-order functional programs	2016-10-24	Paper
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement	2016-04-26	Paper
Dependent types from counterexamples	2015-06-11	Paper
Witnessing side-effects	2015-01-06	Paper
Automating relatively complete verification of higher-order functional programs	2014-11-27	Paper
Quantitative information flow as safety and liveness hyperproperties	2014-06-06	Paper
Automatic Termination Verification for Higher-Order Functional Programs	2014-04-16	Paper
Polymorphic Fractional Capabilities	2009-08-18	Paper
Inferring Channel Buffer Bounds Via Linear Programming	2008-04-11	Paper
A Capability Calculus for Concurrency and Determinism	2007-09-04	Paper
Static Analysis	2006-10-31	Paper

This page was built for person: Tachio Terauchi