| 2008 |
|---|
| 9 | EE | Kohei Suenaga:
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.
APLAS 2008: 155-170 |
| 8 | EE | Koichi Kodama,
Kohei Suenaga,
Naoki Kobayashi:
Translation of tree-processing programs into stream-processing programs based on ordered linear type.
J. Funct. Program. 18(3): 333-371 (2008) |
| 2007 |
|---|
| 7 | EE | Kohei Suenaga,
Naoki Kobayashi:
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.
ESOP 2007: 490-504 |
| 2006 |
|---|
| 6 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the pi-Calculus.
VMCAI 2006: 298-312 |
| 5 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the Pi-Calculus
CoRR abs/cs/0608035: (2006) |
| 4 | EE | Naoki Kobayashi,
Kohei Suenaga,
Lucian Wischik:
Resource Usage Analysis for the p-Calculus.
Logical Methods in Computer Science 2(3): (2006) |
| 2005 |
|---|
| 3 | EE | Kohei Suenaga,
Naoki Kobayashi,
Akinori Yonezawa:
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives.
LOPSTR 2005: 98-114 |
| 2004 |
|---|
| 2 | EE | Koichi Kodama,
Kohei Suenaga,
Naoki Kobayashi:
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.
APLAS 2004: 41-56 |
| 2003 |
|---|
| 1 | EE | Kohei Suenaga,
Oiwa Yutaka,
Eijiro Sumii,
Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C.
ISSS 2003: 192-208 |
