Guava: A dialect of Java Without data races
- David F. Bacon
- Robert E. Strom
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Paper
Publications
36 results for Rob Strom
Efficient multicast protocol for content-based publish-subscribe systems
- Guruduth Banavar
- Tushar Chandra
- et al.
- 1999
- ICDCS 1999
Conference paperNIL: a high-level language for distributed systems programming
- Francis N. Parr
- Rob Strom
- 1999
- IBM Systems Journal
PaperConcurrency control and view notification algorithms for collaborative replicated objects
- Robert Strom
- Guruduth Banavar
- et al.
- 1998
- IEEE TC
PaperConcurrency control and view notification algorithms for collaborative replicated objects
- Rob Strom
- Guruduth Banavar
- et al.
- 1997
- ICDCS 1997
Conference paperInterfaces, protocols, and the semi-automatic construction of software adaptors
- Daniel M. Yellin
- Robert E. Strom
- 1994
- ACM SIGPLAN Notices
PaperA Checkable Interface Language for Pointer-Based Structures
- James R. Russell
- Robert E. Strom
- et al.
- 1994
- ACM SIGPLAN Notices
PaperExtending Typestate Checking Using Conditional Liveness Analysis
- Robert E. Strom
- Daniel M. Yellin
- 1993
- IEEE Transactions on Software Engineering
PaperA visual environment for distributed object-oriented multi-applications
- Robert Strom
- Daniel Yellin
- 1992
- OOPSLA 1992
Conference paperRestoring consistent global states of distributed computations
- Arthur P. Goldberg
- Ajei Gopal
- et al.
- 1991
- WPADD 1991
Conference paper