Tachio Terauchi

Assistant Professor
Graduate School of Information Sciences, Tohoku University
022-795-7526
terauchi AT ecei DOT tohoku DOT ac DOT jp

Education

• B.S. in Computer Science - 2000 Columbia University
• Ph.D. in Computer Science - 2006 University of California at Berkeley

Publications

Conference Proceedings

• A Type System for Observational Determinism. Tachio Terauchi. In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), June 2008, to appear. pdf
• Checking Race Freedom via Linear Programming. Tachio Terauchi. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI 2008), June 2008, to appear. pdf
• Inferring Channel Buffer Bounds via Linear Programming. Tachio Terauchi and Adam Megacz. In Proceedings of the 17th European Symposium on Programming (ESOP 2008), March 2008. pdf
• A Capability Calculus for Concurrency and Determinism. Tachio Terauchi and Alex Aiken. In Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006), August 2006. pdf (Full version with proofs)
• On Typability for Rank-2 Intersection Types with Polymorphic Recursion. Tachio Terauchi and Alex Aiken. In Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), August 2006. pdf (Full version with proofs and fixes) Notes on Section 6
• Witnessing Side-Effects. Tachio Terauchi and Alex Aiken. In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), September 2005. pdf (Deprecated - see the TOPLAS version.)
• Secure Information Flow as a Safety Problem. Tachio Terauchi and Alex Aiken. In Proceedings of the 12th International Static Analysis Symposium (SAS 2005), September 2005. pdf (Full version with proofs and minor fixes)
• Checking and Inferring Local Non-Aliasing. Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), June 2003.
• Flow-Sensitive Type Qualifiers. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI 2002), June 2002.
• Classification of Cancer Tissue Types by Support Vector Machines Using Microarray Gene Expression Data. Jinsong Cai, Aynur Dayanik, Hong Yu, Naveed Hasan, Tachio Terauchi, and William N. Grundy. 8th International Conference on Intelligent Systems for Molecular Biology (ISMB), Aug. 2000.

Journals

• A Capability Calculus for Concurrency and Determinism (Extended Version). Tachio Terauchi and Alex Aiken. Transactions on Programming Languages and Systems, to appear.
• Witnessing Side Effects (Extended Version). Tachio Terauchi and Alex Aiken. Transactions on Programming Languages and Systems, to appear. pdf (draft)
• Exploring MARS: Developing Indoor and Outdoor User Interfaces to a Mobile Augmented Reality System. Tobias Höllerer, Steven Feiner, Tachio Terauchi, Gus Rashid, and Drexel Hallaway. Computers & Graphics 23(6): 779-785 (1999)

Tech Reports

• Memory Management with Use-Counted Regions. Tachio Terauchi and Alex Aiken. Technical Report UCB//CSD-04-1314, University of California, Berkeley, March 2004. pdf