| The Jalapeno virtual machine B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ... IBM Systems Journal 39 (1), 211-238, 2000 | 806 | 2000 |
| A constructive proof of Higman's lemma CR Murthy, JR Russell [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990 | 52 | 1990 |
| Full abstraction for nondeterministic dataflow networks JR Russell Cornell University, 1989 | 52 | 1989 |
| System and method for debugging distributed programs MS Meier, KL Miller, DP Pazel, JR Rao, JR Russell US Patent 5,933,639, 1999 | 51 | 1999 |
| The Concert signature representation: IDL as intermediate language JS Auerbach, JR Russell ACM SigPLAN Notices 29 (8), 1-12, 1994 | 36 | 1994 |
| Optimistic failure recovery for very large networks A Lowry, JR Russell, AP Goldberg Proceedings Tenth Symposium on Reliable Distributed Systems, 66, 67, 68, 69 …, 1991 | 35 | 1991 |
| Experiences with building distributed debuggers MS Meier, KL Miller, DP Pazel, JR Rao, JR Russell Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 70-79, 1996 | 34 | 1996 |
| High-level language support for programming distributed systems. JS Auerbach, DF Bacon, AP Goldberg, GS Goldszmidt, MT Kennedy, ... ICCL, 320-330, 1992 | 34 | 1992 |
| Concert/C: A Language for Distributed Programming. JS Auerbach, AP Goldberg, GS Goldszmidt, AS Gopal, MT Kennedy, ... USENIX Winter, 79-96, 1994 | 32 | 1994 |
| On oraclizable networks and Kahn's principle JR Russell Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 28 | 1989 |
| Concert/C: Supporting distributed programming with language extensions and a portable multiprotocol runtime JS Auerbach, AS Gopal, JR Russell, MT Kennedy 14th International Conference on Distributed Computing Systems, 152-159, 1994 | 19 | 1994 |
| Concert/C specification: Definition of a language for distributed C programming J Auerbach, AP Goldberg, G Goldszmidt, A Gopal, MT Kennedy, ... IBM TJ Watson Research Center, 1993 | 12 | 1993 |
| Interprocess communication in concert Thomas J. Watson IBM Research Center. Research Division, J Auerbach, ... | 11 | 1991 |
| A category-theoretic semantics for unbounded indeterminacy P Panangaden, JR Russell Proceedings of the Fifth International Conference on Mathematical …, 1989 | 10 | 1989 |
| A checkable interface language for pointer-based structures JR Russell, RE Strom, DM Yellin Proceedings of the workshop on Interface definition languages, 59-73, 1994 | 8 | 1994 |
| Full Abstraction and Fixed-Point Principles for Indeterminate Computation JR Russell Cornell University, 1990 | 6 | 1990 |
| Concert/C: A Language for Distributed C Programming A Goldberg, GS Goldszmidt, ASGMT Kennedy, JR Rao, JR Russell IBM TJ Watson Research Center, Yorktown Heights, New York, 1993 | 4 | 1993 |
| Components on the Internet (panel) J Bonar, N Lehrer, K Looney, R Schnier, J Russel, T Selker, S Nickolas Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996 | 2 | 1996 |
| Defining fair merge as a colimit: Towards a fixed-point theory for indeterminate dataflow DB Benson, P Panangaden, JR Russell Semantics for Concurrency, Leicester, Workshops in Computing, 175-184, 1990 | 1 | 1990 |
| A category-theoretic semantics for unbounded indeterminacy P Panangaden, JR Russell Cornell University, 1988 | 1 | 1988 |
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
