Christopher Colby

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 2

Top Topics

Recommendation Systems

Decision Theory

Stochastic Simulation

Top Venues

Publications

Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier
RecSim NG: Toward Principled Uncertainty Modeling for Recommender Ecosystems. CoRR (2021)
Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier
Demonstrating Principled Uncertainty Modeling for Recommender Ecosystems with RecSim NG. RecSys (2020)
Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290 (2) (2003)
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
A certifying compiler for Java. PLDI (2000)
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3 (2) (2000)
Christopher Colby, Peter Lee, George C. Necula
A Proof-Carrying Code Architecture for Java. CAV (2000)
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)
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electron. Notes Theor. Comput. Sci. 14 (1998)
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)
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan
Automatically Closing Open Reactive Programs. PLDI (1998)
Christopher Colby, Peter Lee
Trace-Based Program Analysis. POPL (1996)
Christopher Colby
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data SAS (1995)
Christopher Colby
Analyzing the Communication Topology of Concurrent Programs. PEPM (1995)
Christopher Colby, Peter Lee
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA (1991)