| A certifying compiler for Java C Colby, P Lee, GC Necula, F Blau, M Plesko, K Cline ACM SIGPLAN Notices 35 (5), 95-107, 2000 | 284 | 2000 |
| Automatically closing open reactive programs C Colby, P Godefroid, LJ Jagadeesan ACM SIGPLAN Notices 33 (5), 345-357, 1998 | 77 | 1998 |
| Sisl: Several interfaces, single logic T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ... International Journal of Speech Technology 3, 93-108, 2000 | 74 | 2000 |
| Implicitly associating metadata using user behavior D Gourley, B Totty, E Haslam, P Gauthier, G Lerhaupt, MY Chen, C Colby US Patent 9,235,848, 2016 | 56 | 2016 |
| Analyzing the communication topology of concurrent programs C Colby Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and …, 1995 | 54 | 1995 |
| Trace-based program analysis C Colby, P Lee Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 48 | 1996 |
| A proof-carrying code architecture for Java C Colby, P Lee, GC Necula Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 39 | 2000 |
| Method for automatically closing open reactive systems C Colby, PI Godefroid, LJ Jagadeesan US Patent 6,102,968, 2000 | 31 | 2000 |
| Recsim ng: Toward principled uncertainty modeling for recommender ecosystems M Mladenov, CW Hsu, V Jain, E Ie, C Colby, N Mayoraz, H Pham, D Tran, ... arXiv preprint arXiv:2103.08057, 2021 | 27 | 2021 |
| Semantics-based Program Analysis via Symbolic Composition of Transfer Relations CP Colby Carnegie Mellon University, 1996 | 24 | 1996 |
| Automated techniques for provably safe mobile code C Colby, K Crary, R Harper, P Lee, F Pfenning Theoretical Computer Science 290 (2), 1175-1199, 2003 | 22 | 2003 |
| Design and implementation of Triveni: a process-algebraic API for threads+ events C Colby, LJ Jagadeesan, R Jagadeesan, K Laufer, C Puchol Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998 | 21 | 1998 |
| Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol COOTS, 131-149, 1998 | 12 | 1998 |
| Demonstrating principled uncertainty modeling for recommender ecosystems with RecSim NG M Mladenov, C Hsu, V Jain, E Ie, C Colby, N Mayoraz, H Pham, D Tran, ... Proceedings of the 14th ACM Conference on Recommender Systems, 591-593, 2020 | 11 | 2020 |
| Objects and processes in Triveni: A telecommunication case study in java C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol Proceedings of the 1998 Usenix Conference on Object Oriented Techonologies …, 1998 | 10 | 1998 |
| Distributed scheduling of media channel playout C Colby US Patent 8,856,821, 2014 | 9 | 2014 |
| Determining storage properties of sequential and concurrent programs with assignment and structured data C Colby International Static Analysis Symposium, 64-81, 1995 | 9 | 1995 |
| An Implementation of Parametrized Partial Evaluation. C Colby, P Lee JTASPEFT/WSA, 82-89, 1991 | 8 | 1991 |
| Accumulated imprecision in abstract interpretation C Colby Proc. of the 1st ACM Workshop on Automatic Analysis of Software (AAS'97), R …, 1997 | 7 | 1997 |
| Implicitly associating metadata using user behavior D Gourley, B Totty, E Haslam, P Gauthier, G Lerhaupt, MY Chen, C Colby US Patent 9,953,342, 2018 | 6 | 2018 |
