Tachio Terauchi

According to our database, Tachio Terauchi authored at least 42 papers between 1999 and 2024.

Collaborative distances:

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

2024

Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.

Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi

Proc. ACM Program. Lang., January, 2024

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition.

Taisei Nogami, Tachio Terauchi

CoRR, 2024

2023

On Lookaheads in Regular Expressions with Backreferences.

Nariyoshi Chida, Tachio Terauchi

IEICE Trans. Inf. Syst., May, 2023

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.

Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen

Proc. ACM Program. Lang., January, 2023

Repairing Regular Expressions for Extraction.

Nariyoshi Chida, Tachio Terauchi

Proc. ACM Program. Lang., 2023

On the Expressive Power of Regular Expressions with Backreferences.

Taisei Nogami, Tachio Terauchi

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Repairing DoS Vulnerability of Real-World Regexes.

Nariyoshi Chida, Tachio Terauchi

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Constraint-Based Relational Verification.

Hiroshi Unno, Tachio Terauchi, Eric Koskinen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Bucketing and information flow analysis for provable timing attack mitigation.

Tachio Terauchi, Timos Antonopoulos

J. Comput. Secur., 2020

Automatic Repair of Vulnerable Regular Expressions.

Nariyoshi Chida, Tachio Terauchi

CoRR, 2020

Program Verification via Predicate Constraint Satisfiability Modulo Theories.

Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen

CoRR, 2020

2019

A Formal Analysis of Timing Channel Security via Bucketing.

Tachio Terauchi, Timos Antonopoulos

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Games for Security Under Adaptive Adversaries.

Timos Antonopoulos, Tachio Terauchi

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1).

Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi

NII Shonan Meet. Rep., 2018

Relatively complete refinement type system for verification of higher-order non-deterministic programs.

Hiroshi Unno, Yuki Satake, Tachio Terauchi

Proc. ACM Program. Lang., 2018

A Fixpoint Logic and Dependent Effects for Temporal Property Verification.

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Compositional Synthesis of Leakage Resilient Programs.

Arthur Blot, Masaki Yamamoto, Tachio Terauchi

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Decomposition instead of self-composition for proving the absence of timing channels.

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Temporal verification of higher-order functional programs.

Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16).

Marco Gaboardi, Vivek Nigam, Tachio Terauchi

NII Shonan Meet. Rep., 2015

Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling.

Hiroshi Unno, Tachio Terauchi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.

Tachio Terauchi

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement.

Tachio Terauchi, Hiroshi Unno

Proceedings of the Programming Languages and Systems, 2015

2014

Quantitative information flow as safety and liveness hyperproperties.

Hirotoshi Yasuoka, Tachio Terauchi

Theor. Comput. Sci., 2014

Automatic Termination Verification for Higher-Order Functional Programs.

Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2014

Local temporal reasoning.

Eric Koskinen, Tachio Terauchi

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Automating relatively complete verification of higher-order functional programs.

Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi

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

2012

Automated Verification of Higher-Order Functional Programs.

Tachio Terauchi

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

On bounding problems of quantitative information flow.

Hirotoshi Yasuoka, Tachio Terauchi

J. Comput. Secur., 2011

2010

Dependent types from counterexamples.

Tachio Terauchi

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Quantitative Information Flow - Verification Hardness and Possibilities.

Hirotoshi Yasuoka, Tachio Terauchi

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Polymorphic Fractional Capabilities.

Hirotoshi Yasuoka, Tachio Terauchi

Proceedings of the Static Analysis, 16th International Symposium, 2009

2008

A capability calculus for concurrency and determinism.

Tachio Terauchi, Alex Aiken

ACM Trans. Program. Lang. Syst., 2008

Witnessing side effects.

Tachio Terauchi, Alex Aiken

ACM Trans. Program. Lang. Syst., 2008

Checking race freedom via linear programming.

Tachio Terauchi

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Inferring Channel Buffer Bounds Via Linear Programming.

Tachio Terauchi, Adam Megacz

Proceedings of the Programming Languages and Systems, 2008

A Type System for Observational Determinism.

Tachio Terauchi

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2006

On Typability for Rank-2 Intersection Types with Polymorphic Recursion.

Tachio Terauchi, Alex Aiken

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Secure Information Flow as a Safety Problem.

Tachio Terauchi, Alex Aiken

Proceedings of the Static Analysis, 12th International Symposium, 2005

2003

Checking and inferring local non-aliasing.

Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

2002

Flow-Sensitive Type Qualifiers.

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

1999

Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system.

Tobias Höllerer, Steven Feiner, Tachio Terauchi, Gus Rashid, Drexel Hallaway

Comput. Graph., 1999