Travelled to:1 × United Kingdom
2 × Canada
3 × USA
Collaborated with:P.Lee ∅ G.C.Necula P.Godefroid L.J.Jagadeesan F.Blau M.Plesko K.Cline
Talks about:program (4) concurr (2) java (2) architectur (1) implement (1) structur (1) sequenti (1) properti (1) parametr (1) determin (1)
Person: Christopher Colby
DBLP: Colby:Christopher
Contributed to:
2000
20001998
1996
1995
19951991Wrote 7 papers:
- CAV-2000-ColbyLN #architecture #java
- A Proof-Carrying Code Architecture for Java (CC, PL, GCN), pp. 557–560.
- PLDI-2000-ColbyLNBPC #compilation #java
- A certifying compiler for Java (CC, PL, GCN, FB, MP, KC), pp. 95–107.
- PLDI-1998-ColbyGJ #automation #source code
- Automatically Closing Open Reactive Programs (CC, PG, LJJ), pp. 345–357.
- POPL-1996-ColbyL #program analysis
- Trace-Based Program Analysis (CC, PL), pp. 195–207.
- PEPM-1995-Colby #communication #concurrent #source code
- Analyzing the Communication Topology of Concurrent Programs (CC), pp. 202–213.
- SAS-1995-Colby #concurrent #source code
- Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data (CC), pp. 64–81.
- WSA-1991-ColbyL #implementation #partial evaluation
- An Implementation of Parametrized Partial Evaluation (CC, PL), pp. 82–89.