☰

Tachio Terauchi, Ph.D.

Affiliations: 
2006 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Google:
"Tachio Terauchi"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
George Necula grad student 2006 UC Berkeley
 (Types for deterministic concurrency.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Terauchi T. (2015) Explaining the effectiveness of small refinement heuristics in program verification with CEGAR Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 128-144
Terauchi T, Unno H. (2015) Relaxed stratification: A new approach to practical complete predicate refinement Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9032: 610-633
Koskinen E, Terauchi T. (2014) Local temporal reasoning Proceedings of the Joint Meeting of the 23rd Eacsl Annual Conference On Computer Science Logic, Csl 2014 and the 29th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2014
Yasuoka H, Terauchi T. (2014) Quantitative information flow as safety and liveness hyperproperties Theoretical Computer Science. 538: 167-182
Kuwahara T, Terauchi T, Unno H, et al. (2014) Automatic termination verification for higher-order functional programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8410: 392-411
Yasuoka H, Terauchi T. (2011) On bounding problems of quantitative information flow Journal of Computer Security. 19: 1029-1082
Yasuoka H, Terauchi T. (2009) Polymorphic fractional capabilities Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5673: 36-51
Terauchi T, Aiken A. (2008) A capability calculus for concurrency and determinism Acm Transactions On Programming Languages and Systems. 30
Terauchi T. (2008) Checking race freedom via linear programming Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 1-10
Terauchi T, Aiken A. (2008) Witnessing side effects Acm Transactions On Programming Languages and Systems. 30
See more...