Follow
James R. Russell
James R. Russell
Other namesJames Russell, JR Russell, James Russel
Unaffiliated
Verified email at cornell.edu
Title
Cited by
Cited by
Year
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ...
IBM Systems Journal 39 (1), 211-238, 2000
8092000
A constructive proof of Higman's lemma
CR Murthy, JR Russell
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
521990
Full abstraction for nondeterministic dataflow networks
JR Russell
Cornell University, 1989
521989
System and method for debugging distributed programs
MS Meier, KL Miller, DP Pazel, JR Rao, JR Russell
US Patent 5,933,639, 1999
511999
The Concert signature representation: IDL as intermediate language
JS Auerbach, JR Russell
ACM SigPLAN Notices 29 (8), 1-12, 1994
361994
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
361991
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
341996
High-level language support for programming distributed systems.
JS Auerbach, DF Bacon, AP Goldberg, GS Goldszmidt, MT Kennedy, ...
ICCL, 320-330, 1992
341992
Concert/C: A Language for Distributed Programming.
JS Auerbach, AP Goldberg, GS Goldszmidt, AS Gopal, MT Kennedy, ...
USENIX Winter, 79-96, 1994
331994
On oraclizable networks and Kahn's principle
JR Russell
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
271989
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
191994
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
131993
Interprocess communication in concert
Thomas J. Watson IBM Research Center. Research Division, J Auerbach, ...
111991
A category-theoretic semantics for unbounded indeterminacy
P Panangaden, JR Russell
Proceedings of the Fifth International Conference on Mathematical …, 1989
101989
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
81994
Full Abstraction and Fixed-Point Principles for Indeterminate Computation
JR Russell
Cornell University, 1990
61990
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
41993
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
21996
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
11988
The system can't perform the operation now. Try again later.
Articles 1–20