dblp.uni-trier.dewww.uni-trier.de

Christopher Colby Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
11 Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning: Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003)
2000
10 Christopher Colby, Peter Lee, George C. Necula: A Proof-Carrying Code Architecture for Java. CAV 2000: 557-560
9EEChristopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107
1998
8EEChristopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS 1998: 131-149
7EEChristopher 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: 58-67
6 Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan: Automatically Closing Open Reactive Programs. PLDI 1998: 345-357
5EEChristopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol: The Semantics of Triveni: A Process-Algebraic API for Threads + Events. Electr. Notes Theor. Comput. Sci. 14: (1998)
1996
4EEChristopher Colby, Peter Lee: Trace-Based Program Analysis. POPL 1996: 195-207
1995
3 Christopher Colby: Analyzing the Communication Topology of Concurrent Programs. PEPM 1995: 202-213
2 Christopher Colby: Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data SAS 1995: 64-81
1991
1 Christopher Colby, Peter Lee: An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89

Coauthor Index

1Fred Blau [9]
2Kenneth Cline [9]
3Karl Crary [11]
4Patrice Godefroid [6]
5Robert Harper [11]
6Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar) [5] [6] [7] [8]
7Radha Jagadeesan [5] [7] [8]
8Konstantin Läufer [5] [7] [8]
9Peter Lee [1] [4] [9] [10] [11]
10George C. Necula [9] [10]
11Frank Pfenning [11]
12Mark Plesko [9]
13Carlos Puchol [5] [7] [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)