 | 2009 |
|---|
| 13 |       | Hirotoshi Yasuoka,
Tachio Terauchi:
Polymorphic Fractional Capabilities.
SAS 2009: 36-51 |
| 2008 |
|---|
| 12 | | Tachio Terauchi:
A Type System for Observational Determinism.
CSF 2008: 287-300 |
| 11 | | Tachio Terauchi,
Adam Megacz:
Inferring Channel Buffer Bounds Via Linear Programming.
ESOP 2008: 284-298 |
| 10 | | Tachio Terauchi:
Checking race freedom via linear programming.
PLDI 2008: 1-10 |
| 9 | | Tachio Terauchi,
Alex Aiken:
Witnessing side effects.
ACM Trans. Program. Lang. Syst. 30(3): (2008) |
| 8 | | Tachio Terauchi,
Alex Aiken:
A capability calculus for concurrency and determinism.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 2006 |
|---|
| 7 | | Tachio Terauchi,
Alex Aiken:
A Capability Calculus for Concurrency and Determinism.
CONCUR 2006: 218-232 |
| 6 | | Tachio Terauchi,
Alex Aiken:
On Typability for Rank-2 Intersection Types with Polymorphic Recursion.
LICS 2006: 111-122 |
| 2005 |
|---|
| 5 | | Tachio Terauchi,
Alexander Aiken:
Witnessing side-effects.
ICFP 2005: 105-115 |
| 4 | | Tachio Terauchi,
Alexander Aiken:
Secure Information Flow as a Safety Problem.
SAS 2005: 352-367 |
| 2003 |
|---|
| 3 | | Alexander Aiken,
Jeffrey S. Foster,
John Kodumal,
Tachio Terauchi:
Checking and inferring local non-aliasing.
PLDI 2003: 129-140 |
| 2002 |
|---|
| 2 | | Jeffrey S. Foster,
Tachio Terauchi,
Alexander Aiken:
Flow-Sensitive Type Qualifiers.
PLDI 2002: 1-12 |
| 1999 |
|---|
| 1 | | 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) |
