Christopher Colby

14 papers A* 4A 1B 1C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
RecSim NG: Toward Principled Uncertainty Modeling for Recommender Ecosystems.
CoRR
Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier
2020 A conf
Demonstrating Principled Uncertainty Modeling for Recommender Ecosystems with RecSim NG.
RecSys
Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier
2003 J jnl
Automated techniques for provably safe mobile code.
Theor. Comput. Sci.
Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
2000 A* conf
A Proof-Carrying Code Architecture for Java.
CAV
Christopher Colby, Peter Lee, George C. Necula
2000 A* conf
A certifying compiler for Java.
PLDI
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
2000 J jnl
Sisl: Several Interfaces, Single Logic.
Int. J. Speech Technol.
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
1998 A* conf
Automatically Closing Open Reactive Programs.
PLDI
Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan
1998 — conf
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
ICCL
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1998 — conf
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
COOTS
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1997 — conf
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1996 A* conf
Trace-Based Program Analysis.
POPL
Christopher Colby, Peter Lee
1995 C conf
Analyzing the Communication Topology of Concurrent Programs.
PEPM
Christopher Colby
1995 B conf
Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data
SAS
Christopher Colby
1991 — conf
An Implementation of Parametrized Partial Evaluation.
JTASPEFT/WSA
Christopher Colby, Peter Lee