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 | EE | Christopher Colby,
Peter Lee,
George C. Necula,
Fred Blau,
Mark Plesko,
Kenneth Cline:
A certifying compiler for Java.
PLDI 2000: 95-107 |
1998 |
8 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |