Search the dblp DataBase
Christopher Colby :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christopher Colby , Peter Lee , George C. Necula A Proof-Carrying Code Architecture for Java. [Citation Graph (0, 0)][DBLP ] CAV, 2000, pp:557-560 [Conf ] Christopher Colby , Lalita Jategaonkar Jagadeesan , Radha Jagadeesan , Konstantin Läufer , Carlos Puchol Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. [Citation Graph (0, 0)][DBLP ] COOTS, 1998, pp:131-149 [Conf ] Christopher Colby , Lalita Jategaonkar Jagadeesan , Radha Jagadeesan , Konstantin Läufer , Carlos Puchol Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP ] ICCL, 1998, pp:58-67 [Conf ] Christopher Colby Analyzing the Communication Topology of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] PEPM, 1995, pp:202-213 [Conf ] Christopher Colby , Patrice Godefroid , Lalita Jategaonkar Jagadeesan Automatically Closing Open Reactive Programs. [Citation Graph (0, 0)][DBLP ] PLDI, 1998, pp:345-357 [Conf ] Christopher Colby , Peter Lee , George C. Necula , Fred Blau , Mark Plesko , Kenneth Cline A certifying compiler for Java. [Citation Graph (0, 0)][DBLP ] PLDI, 2000, pp:95-107 [Conf ] Christopher Colby , Peter Lee Trace-Based Program Analysis. [Citation Graph (0, 0)][DBLP ] POPL, 1996, pp:195-207 [Conf ] Christopher Colby Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data [Citation Graph (0, 0)][DBLP ] SAS, 1995, pp:64-81 [Conf ] Christopher Colby , Peter Lee An Implementation of Parametrized Partial Evaluation. [Citation Graph (0, 0)][DBLP ] JTASPEFT/WSA, 1991, pp:82-89 [Conf ] Christopher Colby , Lalita Jategaonkar , Radha Jagadeesan , Konstantin Läufer , Carlos Puchol The Semantics of Triveni: A Process-Algebraic API for Threads + Events. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:14, n:, pp:- [Journal ] Christopher Colby , Karl Crary , Robert Harper , Peter Lee , Frank Pfenning Automated techniques for provably safe mobile code. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:2, pp:1175-1199 [Journal ] Search in 0.002secs, Finished in 0.002secs