Tachio Terauchi

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 24

Top Topics

Regular Expressions

Top Venues

Proc. ACM Program. Lang.

NII Shonan Meet. Rep.

Publications

Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Proc. ACM Program. Lang. 8 (POPL) (2024)
Taisei Nogami, Tachio Terauchi
Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition. CoRR (2024)
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Taisei Nogami, Tachio Terauchi
On the Expressive Power of Regular Expressions with Backreferences. CoRR (2023)
Nariyoshi Chida, Tachio Terauchi
Repairing Regular Expressions for Extraction. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. CoRR (2023)
Taisei Nogami, Tachio Terauchi
On the Expressive Power of Regular Expressions with Backreferences. MFCS (2023)
Nariyoshi Chida, Tachio Terauchi
On Lookaheads in Regular Expressions with Backreferences. IEICE Trans. Inf. Syst. 106 (5) (2023)
Nariyoshi Chida, Tachio Terauchi
On Lookaheads in Regular Expressions with Backreferences. FSCD (2022)
Nariyoshi Chida, Tachio Terauchi
Repairing DoS Vulnerability of Real-World Regexes. IEEE Symposium on Security and Privacy (2022)
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
Constraint-based Relational Verification. CoRR (2021)
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
Constraint-Based Relational Verification. CAV (1) (2021)
Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen
Program Verification via Predicate Constraint Satisfiability Modulo Theories. CoRR (2020)
Tachio Terauchi, Timos Antonopoulos
Bucketing and information flow analysis for provable timing attack mitigation. J. Comput. Secur. 28 (6) (2020)
Nariyoshi Chida, Tachio Terauchi
Automatic Repair of Vulnerable Regular Expressions. CoRR (2020)
Tachio Terauchi, Timos Antonopoulos
A Formal Analysis of Timing Channel Security via Bucketing. POST (2019)
Timos Antonopoulos, Tachio Terauchi
Games for Security Under Adaptive Adversaries. CSF (2019)
Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep. 2018 (2018)
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
A Fixpoint Logic and Dependent Effects for Temporal Property Verification. LICS (2018)
Hiroshi Unno, Yuki Satake, Tachio Terauchi
Relatively complete refinement type system for verification of higher-order non-deterministic programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
Decomposition instead of self-composition for proving the absence of timing channels. PLDI (2017)
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. POST (2017)
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
Compositional Synthesis of Leakage Resilient Programs. CoRR (2016)
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Temporal verification of higher-order functional programs. POPL (2016)
Tachio Terauchi
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. SAS (2015)
Hiroshi Unno, Tachio Terauchi
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling. TACAS (2015)
Tachio Terauchi, Hiroshi Unno
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. ESOP (2015)
Marco Gaboardi, Vivek Nigam, Tachio Terauchi
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015)
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
Automatic Termination Verification for Higher-Order Functional Programs. ESOP (2014)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative information flow as safety and liveness hyperproperties. Theor. Comput. Sci. 538 (2014)
Eric Koskinen, Tachio Terauchi
Local temporal reasoning. CSL-LICS (2014)
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
Automating relatively complete verification of higher-order functional programs. POPL (2013)
Tachio Terauchi
Automated Verification of Higher-Order Functional Programs. FLOPS (2012)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow as Safety and Liveness Hyperproperties QAPL (2012)
Hirotoshi Yasuoka, Tachio Terauchi
On Bounding Problems of Quantitative Information Flow CoRR (2011)
Hirotoshi Yasuoka, Tachio Terauchi
On bounding problems of quantitative information flow. J. Comput. Secur. 19 (6) (2011)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow - Verification Hardness and Possibilities CoRR (2010)
Hirotoshi Yasuoka, Tachio Terauchi
On Bounding Problems of Quantitative Information Flow. ESORICS (2010)
Tachio Terauchi
Dependent types from counterexamples. POPL (2010)
Hirotoshi Yasuoka, Tachio Terauchi
Quantitative Information Flow - Verification Hardness and Possibilities. CSF (2010)
Hirotoshi Yasuoka, Tachio Terauchi
Polymorphic Fractional Capabilities. SAS (2009)
Tachio Terauchi, Alex Aiken
Witnessing side effects. ACM Trans. Program. Lang. Syst. 30 (3) (2008)
Tachio Terauchi
A Type System for Observational Determinism. CSF (2008)
Tachio Terauchi, Adam Megacz
Inferring Channel Buffer Bounds Via Linear Programming. ESOP (2008)
Tachio Terauchi, Alex Aiken
A capability calculus for concurrency and determinism. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Tachio Terauchi
Checking race freedom via linear programming. PLDI (2008)
Tachio Terauchi, Alex Aiken
A Capability Calculus for Concurrency and Determinism. CONCUR (2006)
Tachio Terauchi, Alex Aiken
On Typability for Rank-2 Intersection Types with Polymorphic Recursion. LICS (2006)
Tachio Terauchi, Alexander Aiken
Secure Information Flow as a Safety Problem. SAS (2005)
Tachio Terauchi, Alexander Aiken
Witnessing side-effects. ICFP (2005)
Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
Checking and inferring local non-aliasing. PLDI (2003)
Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken
Flow-Sensitive Type Qualifiers. PLDI (2002)
Tobias Höllerer, Steven Feiner, Tachio Terauchi, Gus Rashid, Drexel Hallaway
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system. Comput. Graph. 23 (6) (1999)