TOP > Research > Department of Systems and Social Informatics > Department of Information Engineering > Software Science and Technology Group > TERAUCHI,Tachio

Comprehensive List of Researchers "Information Knowledge"

Department of Information Engineering

Name
TERAUCHI,Tachio
Group
Software Science and Technology Group
Title
Associate Professor
Degree
Ph.D.
Research Field
Programming Languages

Current Research

Program Analysis and Program Verification
My work is primarily in the area of programming languages, especially program analysis and program verification.  Please see my homepage for my current focus: http://www.sqlab.i.is.nagoya-u.ac.jp/~terauchi/index.html

Career

  • Bachelor of Science (Computer Science), Columbia University, 2000
  • Master of Science (Computer Science), University of California at Berkeley, 2004
  • Doctor of Philosophy (Computer Science), University of California at Berkeley, 2006
  • Assistant Professor, Graduate School of Information Sciences, Tohoku University, 2007
  • Associate Professor, Graduate School of Information Science, Nagoya University, 2011

Academic Societies

Publications

  1. Hirotoshi Yasuoka and Tachio Terauchi. On Bounding Problems of Quantitative Information Flow. In Proceedings of the 15th European Symposium on Research in Computer Security (ESORICS 2010), Lecture Notes in Computer Science 6345, Springer, 2010. pp.357-372.
  2. Hirotoshi Yasuoka and Tachio Terauchi. Quantitative Information Flow - Verification Hardness and Possibilities. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010), IEEE Computer Society, 2010. pp.15-27.
  3. Tachio Terauchi. Dependent Types from Counterexamples. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), ACM, 2010. pp.119-130.
  4. Hirotoshi Yasuoka and Tachio Terauchi. Polymorphic Fractional Capabilities. In Proceedings of the 16th International Static Analysis Symposium (SAS 2009), Lecture Notes in Computer Science 5673, Springer, 2009. pp.36-51.
  5. Tachio Terauchi. A Type System for Observational Determinism. In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), IEEE Computer Society, 2008. pp.287-300.
  6. Tachio Terauchi. Checking Race Freedom via Linear Programming. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008), ACM, 2008. pp.1-10.
  7. Tachio Terauchi and Adam Megacz. Inferring Channel Buffer Bounds via Linear Programming. In Proceedings of the 17th European Symposium on Programming (ESOP 2008), Lecture Notes in Computer Science 4960, Springer, 2008. pp.284-298.
  8. Tachio Terauchi and Alex Aiken. A Capability Calculus for Concurrency and Determinism. In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006), Lecture Notes in Computer Science 4137, Springer, 2006. pp.218-232.
  9. Tachio Terauchi and Alex Aiken. On Typability for Rank-2 Intersection Types with Polymorphic Recursion. In Proceedings of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006), IEEE Computer Society, 2006. pp.111-122.
  10. Tachio Terauchi and Alex Aiken. Witnessing Side-Effects. In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), ACM, 2005. pp.105-115.
  11. Tachio Terauchi and Alex Aiken. Secure Information Flow as a Safety Problem. In Proceedings of the 12th International Static Analysis Symposium (SAS 2005), Lecture Notes in Computer Science 3672, Springer, 2005. pp.352-367.
  12. Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi. Checking and Inferring Local Non-Aliasing. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), ACM, 2003. pp.129-140.
  13. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-Sensitive Type Qualifiers. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), ACM, 2002. pp.1-12.
  14. Tachio Terauchi and Alex Aiken. A Capability Calculus for Concurrency and Determinism. ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5) : (2008)
  15. Tachio Terauchi and Alex Aiken. Witnessing Side Effects. ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3) : (2008)
  16. Tobias H\"ollerer, Steven Feiner, Tachio Terauchi, Gus Rashid, and Drexel Hallaway. Exploring MARS: Developing Indoor and Outdoor User Interfaces to a Mobile Augmented Reality System. Computers \& Graphics 23 (6) : 779-785 (1999)
  17. Hirotoshi Yasuoka, Tachio Terauchi: On bounding problems of quantitative information flow. Journal of Computer Security 19(6): 1029-1082 (2011)
  18. Hirotoshi Yasuoka, Tachio Terauchi: Quantitative Information Flow as Safety and Liveness Hyperproperties. In Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012), Electronic Proceedings in Theoretical Computer Science 85, 2012 : 77-91
  19. Tachio Terauchi: Automated Verification of Higher-Order Functional Programs. In Proceedings of the 11th International Symposium on Functional and Logic Programming - 11th International Symposium (FLOPS 2012), Lecture Notes in Computer Science 7294, Springer, 2012
  20. Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi: Automating relatively complete verification of higher-order functional programs. In Proceedings of the 40th ACM Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013), ACM, 2013 : 75-86

BACK

top