James R. Russell

Orcid: 0000-0001-8227-6163

According to our database1, James R. Russell authored at least 16 papers between 1989 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Scientists Under Surveillance: The FBI Files - edited by JPat Brown, B. C. D. Lipton, and Michael Morisy (Cambridge, MA, USA: The MIT Press, 2019, 413 + xix pp.).
IEEE Technol. Soc. Mag., 2022

2014
Lonely Ideas: Can Russia Compete? [Book Review].
IEEE Technol. Soc. Mag., 2014

2000
The Jalapeño virtual machine.
IBM Syst. J., 2000

1996
Experiences with building distributed debuggers.
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 1996

1994
Concert/C: A Language for Distributed Programming.
Proceedings of the USENIX Winter 1994 Technical Conference, 1994

A Checkable Interface Language for Pointer-Based Structures.
Proceedings of the Workshop on Interface Definition Languages, 1994

The Concert Signature Representation: IDL as Intermediate Language.
Proceedings of the Workshop on Interface Definition Languages, 1994

Concert/C: Supporting Distributed Programming with Language Extensions and a Portable Multiprotocol Runtime.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1992

1991
Optimistic Failure Recovery for Very Large Networks.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

High-level language support for programming distributed systems.
Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

1990
Full Abstraction and Fixed-Point Principles for Indeterminate Computation.
PhD thesis, 1990

On Oraclizable Networks and Kahn's Principle.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

A Constructive Proof of Higman's Lemma
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989
A Category-theoretic Semantics for Unbounded Indeterminacy.
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

Full Abstraction for Nondeterministic Dataflow Networks
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989


  Loading...