An Implementation of Parametrized Partial Evaluation. - Christopher Colby; Peter Lee 001 (JTASPEFT/WSA, 1991)

Analyzing the Communication Topology of Concurrent Programs. - Christopher Colby (PEPM, 1995)

Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data - Christopher Colby (SAS, 1995)

Trace-Based Program Analysis. - Christopher Colby; Peter Lee 001 (POPL, 1996)

The Semantics of Triveni: A Process-Algebraic API for Threads + Events. - Christopher Colby; Lalita Jategaonkar; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. - Christopher Colby; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol (COOTS, 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 (ICCL, 1998)

Automatically Closing Open Reactive Programs. - Christopher Colby; Patrice Godefroid; Lalita Jategaonkar Jagadeesan (PLDI, 1998)

A Proof-Carrying Code Architecture for Java. - Christopher Colby; Peter Lee 001; George C. Necula (CAV, 2000)

A certifying compiler for Java. - Christopher Colby; Peter Lee 001; George C. Necula; Fred Blau; Mark Plesko; Kenneth Cline (PLDI, 2000)

Sisl: Several Interfaces, Single Logic. - Thomas Ball 001; Christopher Colby; Peter J. Danielsen; Lalita Jategaonkar Jagadeesan; Radha Jagadeesan; Konstantin Läufer; Peter Mataga; Kenneth Rehor (Int. J. Speech Technol., 2000)

Automated techniques for provably safe mobile code. - Christopher Colby; Karl Crary; Robert Harper 001; Peter Lee 001; Frank Pfenning (Theor. Comput. Sci., 2003)

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 (RecSys, 2020)

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)