Christopher Colby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1991–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RecSys | Demonstrating Principled Uncertainty Modeling for Recommender Ecosystems with RecSim NG. | Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier |
| 2000 | CAV | A Proof-Carrying Code Architecture for Java. | Christopher Colby, Peter Lee, George C. Necula |
| 2000 | PLDI | A certifying compiler for Java. | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline |
| 1998 | PLDI | Automatically Closing Open Reactive Programs. | Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan |
| 1996 | POPL | Trace-Based Program Analysis. | Christopher Colby, Peter Lee |
| 1995 | PEPM | Analyzing the Communication Topology of Concurrent Programs. | Christopher Colby |
| 1995 | SAS | Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data | Christopher Colby |
| 1991 | SAS | An Implementation of Parametrized Partial Evaluation. | Christopher Colby, Peter Lee |