BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Colby:Christopher

Contributed to:

CAV 20002000
PLDI 20002000
PLDI 19981998
POPL 19961996
PEPM 19951995
SAS 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.