Tachio Terauchi

Most-cited papers

Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system
Tobias Höllerer, Steven K. Feiner, Tachio Terauchi, Gus Rashid +1 more
1999Computers & graphics554 citations Open access
Semantic Scholar
Flow-sensitive type qualifiers
J. Foster, Tachio Terauchi, Alex Aiken
2002ACM-SIGPLAN Symposium on Programming Language Design and Implementation386 citations Open access
Semantic Scholar
Secure Information Flow as a Safety Problem
Tachio Terauchi, A. Aiken
2005Sensors Applications Symposium305 citations Open access
Semantic Scholar
Decomposition instead of self-composition for proving the absence of timing channels
Timos Antonopoulos, Paul Gazzillo, Michael W. Hicks, Eric Koskinen +2 more
2017ACM-SIGPLAN Symposium on Programming Language Design and Implementation104 citations Open access
Semantic Scholar
Checking and inferring local non-aliasing
Alex Aiken, J. Foster, John Kodumal, Tachio Terauchi
2003ACM-SIGPLAN Symposium on Programming Language Design and Implementation84 citations
Semantic Scholar
Dependent types from counterexamples
Tachio Terauchi
2010ACM-SIGACT Symposium on Principles of Programming Languages68 citations Open access
Semantic Scholar
Quantitative Information Flow - Verification Hardness and Possibilities
Hirotoshi Yasuoka, Tachio Terauchi
2010IEEE Computer Security Foundations Symposium67 citations Open access
Semantic Scholar
Constraint-based Relational Verification
Hiroshi Unno, Tachio Terauchi, Eric Koskinen
2021International Conference on Computer Aided Verification57 citations Open access
Semantic Scholar
On bounding problems of quantitative information flow
Hirotoshi Yasuoka, Tachio Terauchi
2010Journal of computing and security52 citations Open access
Semantic Scholar
Automating relatively complete verification of higher-order functional programs
Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
2013ACM-SIGACT Symposium on Principles of Programming Languages51 citations Open access
Semantic Scholar
A Type System for Observational Determinism
Tachio Terauchi
2008IEEE Computer Security Foundations Symposium47 citations
Semantic Scholar
Checking race freedom via linear programming
Tachio Terauchi
2008ACM-SIGPLAN Symposium on Programming Language Design and Implementation46 citations
Semantic Scholar
A capability calculus for concurrency and determinism
Tachio Terauchi, Alex Aiken
2006TOPL43 citations Open access
Semantic Scholar
Automatic Termination Verification for Higher-Order Functional Programs
Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
2014European Symposium on Programming41 citations Open access
Semantic Scholar
Local temporal reasoning
Eric Koskinen, Tachio Terauchi
2014CSL-LICS36 citations
Semantic Scholar
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
2018Logic in Computer Science33 citations
Semantic Scholar
Quantitative information flow as safety and liveness hyperproperties
Hirotoshi Yasuoka, Tachio Terauchi
2012Theoretical Computer Science33 citations Open access
Semantic Scholar
Temporal verification of higher-order functional programs
Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato +1 more
2016ACM-SIGACT Symposium on Principles of Programming Languages32 citations
Semantic Scholar
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
2023Proc. ACM Program. Lang.29 citations Open access
Semantic Scholar
Relatively complete refinement type system for verification of higher-order non-deterministic programs
Hiroshi Unno, Yuki Satake, Tachio Terauchi
2017Proc. ACM Program. Lang.27 citations Open access
Semantic Scholar
Repairing DoS Vulnerability of Real-World Regexes
Nariyoshi Chida, Tachio Terauchi
2020IEEE Symposium on Security and Privacy17 citations Open access
Semantic Scholar
Witnessing side-effects
Tachio Terauchi, Alex Aiken
2005ACM SIGPLAN International Conference on Functional Programming16 citations Open access
Semantic Scholar
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling
Hiroshi Unno, Tachio Terauchi
2015International Conference on Tools and Algorithms for Construction and Analysis of Systems15 citations
Semantic Scholar
On Lookaheads in Regular Expressions with Backreferences
Nariyoshi Chida, Tachio Terauchi
2023International Conference on Formal Structures for Computation and Deduction14 citations
Semantic Scholar
Compositional Synthesis of Leakage Resilient Programs
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
2016The post14 citations Open access
Semantic Scholar
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
2023Proc. ACM Program. Lang.10 citations Open access
Semantic Scholar
Program Verification via Predicate Constraint Satisfiability Modulo Theories
Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen
2020arXiv.org10 citations
Semantic Scholar
Failure of cut-elimination in cyclic proofs of separation logic
D. Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno
202010 citations
Semantic Scholar
On the Expressive Power of Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
2023International Symposium on Mathematical Foundations of Computer Science9 citations Open access
Semantic Scholar
Repairing Regular Expressions for Extraction
Nariyoshi Chida, Tachio Terauchi
2023Proc. ACM Program. Lang.9 citations Open access
Semantic Scholar
Automatic Repair of Vulnerable Regular Expressions
Nariyoshi Chida, Tachio Terauchi
2020arXiv.org9 citations
Semantic Scholar
Decomposition Instead of Self-Composition for k-Safety
Timos Antonopoulos, Paul Gazzillo, Michael W. Hicks, Eric Koskinen +2 more
20169 citations
Semantic Scholar
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
Tachio Terauchi, Hiroshi Unno
2015European Symposium on Programming8 citations
Semantic Scholar
Efficient Matching of Some Fundamental Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
2025International Symposium on Mathematical Foundations of Computer Science6 citations
Semantic Scholar
Inferring Channel Buffer Bounds Via Linear Programming
Tachio Terauchi, Adam Megacz
2008European Symposium on Programming6 citations Open access
Semantic Scholar
Witnessing side effects
Tachio Terauchi, A. Aiken
2008TOPL6 citations
Semantic Scholar
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Tachio Terauchi, Alex Aiken
2006Logic in Computer Science6 citations
Semantic Scholar
Memory Management with Use-Counted Regions
Tachio Terauchi, A. Aiken
20046 citations Open access
Semantic Scholar
Polymorphic Fractional Capabilities
Hirotoshi Yasuoka, Tachio Terauchi
2009Sensors Applications Symposium5 citations
Semantic Scholar
Hardness of Regular Expression Matching with Extensions
Taisei Nogami, Yoshiki Nakamura, Tachio Terauchi
2026arXiv.org4 citations
Semantic Scholar
Measuring the expressive power of practical regular expressions by classical stacking automata models
Taisei Nogami, Tachio Terauchi
2025Information and Computation4 citations Open access
Semantic Scholar
Repairing Regex-Dependent String Functions
Nariyoshi Chida, Tachio Terauchi
2024International Conference on Automated Software Engineering4 citations Open access
Semantic Scholar
A Formal Analysis of Timing Channel Security via Bucketing
Tachio Terauchi, Timos Antonopoulos
2019The post4 citations Open access
Semantic Scholar
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Ryunosuke Endo, Tachio Terauchi
2025Asian Symposium on Programming Languages and Systems2 citations
Semantic Scholar
On DoS Vulnerability of Regular Expressions, with and Without Backreferences
Tachio Terauchi
2025IEEE Computer Security Foundations Symposium2 citations
Semantic Scholar
Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
Taisei Nogami, Tachio Terauchi
2024arXiv.org2 citations
Semantic Scholar
QFuzz: Quantitative Fuzzing for Side Channels
Timos Antopoulos, Paul Gazzillo, Michael W. Hicks, Eric Koskinen +2 more
20212 citations
Semantic Scholar
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Tachio Terauchi
2015Sensors Applications Symposium2 citations
Semantic Scholar
Types for deterministic concurrency
A. Aiken, G. Necula, Tachio Terauchi
20062 citations
Semantic Scholar
Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
Negar Fathi, Hiroshi Unno, Tachio Terauchi, Rahul Purandare
2026Proc. ACM Softw. Eng.1 citations Open access
Semantic Scholar