Tachio Terauchi, Ph.D.
Affiliations: | 2006 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysisGoogle:
"Tachio Terauchi"Parents
Sign in to add mentorGeorge Necula | grad student | 2006 | UC Berkeley | |
(Types for deterministic concurrency.) |
BETA: Related publications
See more...
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 |