Concepedia

Christopher Colby

CC

Statistics

Publications

10

Citations

463

H-Index

10

Active since

1995

Affiliations

Loyola University Chicago(Current)

Carnegie Mellon University

Laboratoire d'Informatique de Paris-Nord

Christopher Colby is an author at Loyola University Chicago specializing in computing, computer science, and programming languages.

Publications per year

1995–2020

10

Publications

10

A certifying compiler for Java

Christopher Colby, Peter Lee, George C. Necula et al. · 2000 · 185 citations

Computing, Computer Engineering, Computer Science +17

Automatically closing open reactive programs

Christopher Colby, Patrice Godefroid, Lalita Jategaonkar Jagadeesan · 1998 · 65 citations

Computing, Computer Science, Computer Systems +11

Sisl: Several Interfaces, Single Logic

Thomas Ball, Christopher Colby, Peter J. Danielsen et al. · International Journal of Speech Technology · 2000 · 53 citations · Full text

Engineering, Computer Engineering, Computer Science +12

Analyzing the communication topology of concurrent programs

Christopher Colby · 1995 · 36 citations

Computing, Computer Science, Computer Architecture +11

A certifying compiler for Java

Christopher Colby, Peter Lee, George C. Necula et al. · ACM SIGPLAN Notices · 2000 · 36 citations · Full text

Computing, Computer Engineering, Computer Science +17

1–5 of 10