Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Tachio Terauchi

Tachio Terauchi

Japanese version

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

Bio

I am a Japan born Japanese, educated mostly in America. I have B.S. from Columbia and M.S. and Ph.D. from UC Berkeley, all in computer science. I joined Tohoku University as an assistant professor in 2007.

Professional Activities

ESOP 2011 : Program Committee
PLPV 2011 : Program Committee
VMCAI 2011 : Program Committee
TLDI 2011 : Program Committee
PLDI 2010 : External Review Committee
PPL 2010 (Japanese) : Program Co-Chair
PLAS 2009 : Program Committee
PPL 2009 (Japanese) : Program Committee
SAC 2009 : Program Committee
SAS 2008 : Program Committee

Publications

Conference Articles

On Bounding Problems of Quantitative Information Flow.
Hirotoshi Yasuoka and Tachio Terauchi.
ESORICS 2010, to appear. [pdf (Full version with proofs)]
Quantitative Information Flow - Verification Hardness and Possibilities.
Hirotoshi Yasuoka and Tachio Terauchi.
CSF 2010. [pdf (Full version with proofs)]
Dependent Types from Counterexamples.
Tachio Terauchi.
POPL 2010. [pdf (Full version with proofs)]
Demo

Polymorphic Fractional Capabilities.
Hirotoshi Yasuoka and Tachio Terauchi.
SAS 2009.

A Type System for Observational Determinism.
Tachio Terauchi.
CSF 2008. [pdf (With bug fixes)]

Checking Race Freedom via Linear Programming.
Tachio Terauchi.
PLDI 2008. [pdf (With minor bug fixes)]

Inferring Channel Buffer Bounds via Linear Programming.
Tachio Terauchi and Adam Megacz.
ESOP 2008. [pdf]

A Capability Calculus for Concurrency and Determinism.
Tachio Terauchi and Alex Aiken.
CONCUR 2006. [pdf (Full version with proofs)]

On Typability for Rank-2 Intersection Types with Polymorphic Recursion.
Tachio Terauchi and Alex Aiken.
LICS 2006 [pdf (Full version with proofs and fixes)]
Notes on Section 6

Witnessing Side-Effects.
Tachio Terauchi and Alex Aiken.
ICFP 2005. [pdf]
Deprecated - see the TOPLAS version.

Secure Information Flow as a Safety Problem.
Tachio Terauchi and Alex Aiken.
SAS 2005. [pdf (Full version with proofs and fixes)]

Checking and Inferring Local Non-Aliasing.
Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi.
PLDI 2003.

Flow-Sensitive Type Qualifiers.
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken.
PLDI 2002.

Journal Articles

A Capability Calculus for Concurrency and Determinism (Extended Version).
Tachio Terauchi and Alex Aiken.
TOPLAS 30(5): (2008) [pdf]

Witnessing Side Effects (Extended Version).
Tachio Terauchi and Alex Aiken.
TOPLAS 30(3): (2008) [pdf]

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]