| 2008 |
|---|
| 12 | EE | Tachio Terauchi:
A Type System for Observational Determinism.
CSF 2008: 287-300 |
| 11 | EE | Tachio Terauchi,
Adam Megacz:
Inferring Channel Buffer Bounds Via Linear Programming.
ESOP 2008: 284-298 |
| 10 | EE | Tachio Terauchi:
Checking race freedom via linear programming.
PLDI 2008: 1-10 |
| 9 | EE | Tachio Terauchi,
Alex Aiken:
Witnessing side effects.
ACM Trans. Program. Lang. Syst. 30(3): (2008) |
| 8 | EE | Tachio Terauchi,
Alex Aiken:
A capability calculus for concurrency and determinism.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 2006 |
|---|
| 7 | EE | Tachio Terauchi,
Alex Aiken:
A Capability Calculus for Concurrency and Determinism.
CONCUR 2006: 218-232 |
| 6 | EE | Tachio Terauchi,
Alex Aiken:
On Typability for Rank-2 Intersection Types with Polymorphic Recursion.
LICS 2006: 111-122 |
| 2005 |
|---|
| 5 | EE | Tachio Terauchi,
Alexander Aiken:
Witnessing side-effects.
ICFP 2005: 105-115 |
| 4 | EE | Tachio Terauchi,
Alexander Aiken:
Secure Information Flow as a Safety Problem.
SAS 2005: 352-367 |
| 2003 |
|---|
| 3 | EE | Alexander Aiken,
Jeffrey S. Foster,
John Kodumal,
Tachio Terauchi:
Checking and inferring local non-aliasing.
PLDI 2003: 129-140 |
| 2002 |
|---|
| 2 | EE | Jeffrey S. Foster,
Tachio Terauchi,
Alexander Aiken:
Flow-Sensitive Type Qualifiers.
PLDI 2002: 1-12 |
| 1999 |
|---|
| 1 | EE | Tobias Höllerer,
Steven Feiner,
Tachio Terauchi,
Gus Rashid,
Drexel Hallaway:
Exploring MARS: developing indoor and outdoor user interfaces to a mobile augmented reality system.
Computers & Graphics 23(6): 779-785 (1999) |
