Christopher Colby

According to our database, Christopher Colby authored at least 14 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

RecSim NG: Toward Principled Uncertainty Modeling for Recommender Ecosystems.

Martin Mladenov, Chih-Wei Hsu, Vihan Jain, Eugene Ie, Christopher Colby, Nicolas Mayoraz, Hubert Pham, Dustin Tran, Ivan Vendrov, Craig Boutilier

CoRR, 2021

2020

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

Proceedings of the RecSys 2020: Fourteenth ACM Conference on Recommender Systems, 2020

2003

Automated techniques for provably safe mobile code.

Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning

Theor. Comput. Sci., 2003

2000

Sisl: Several Interfaces, Single Logic.

Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Int. J. Speech Technol., 2000

A certifying compiler for Java.

Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

A Proof-Carrying Code Architecture for Java.

Christopher Colby, Peter Lee, George C. Necula

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1998

Automatically Closing Open Reactive Programs.

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

Trace-Based Program Analysis.

Christopher Colby, Peter Lee

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data

Christopher Colby

Proceedings of the Static Analysis, 1995

Analyzing the Communication Topology of Concurrent Programs.

Christopher Colby

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1991

An Implementation of Parametrized Partial Evaluation.

Christopher Colby, Peter Lee

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991