 | 2003 |
|---|
| 11 |       | Christopher Colby,
Karl Crary,
Robert Harper,
Peter Lee,
Frank Pfenning:
Automated techniques for provably safe mobile code.
Theor. Comput. Sci. 290(2): 1175-1199 (2003) |
| 2000 |
|---|
| 10 | | Christopher Colby,
Peter Lee,
George C. Necula:
A Proof-Carrying Code Architecture for Java.
CAV 2000: 557-560 |
| 9 |  | Christopher Colby,
Peter Lee,
George C. Necula,
Fred Blau,
Mark Plesko,
Kenneth Cline:
A certifying compiler for Java.
PLDI 2000: 95-107 |
| 1998 |
|---|
| 8 | | Christopher Colby,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
COOTS 1998: 131-149 |
| 7 | | Christopher Colby,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
ICCL 1998: 58-67 |
| 6 | | Christopher Colby,
Patrice Godefroid,
Lalita Jategaonkar Jagadeesan:
Automatically Closing Open Reactive Programs.
PLDI 1998: 345-357 |
| 5 | | Christopher Colby,
Lalita Jategaonkar,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1996 |
|---|
| 4 | | Christopher Colby,
Peter Lee:
Trace-Based Program Analysis.
POPL 1996: 195-207 |
| 1995 |
|---|
| 3 | | Christopher Colby:
Analyzing the Communication Topology of Concurrent Programs.
PEPM 1995: 202-213 |
| 2 | | Christopher Colby:
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data
SAS 1995: 64-81 |
| 1991 |
|---|
| 1 | | Christopher Colby,
Peter Lee:
An Implementation of Parametrized Partial Evaluation.
JTASPEFT/WSA 1991: 82-89 |
