HOPE Publications
- Formal Semantics
for Expressing Optimism: The Meaning of HOPE
-
Crispin Cowan and Hanan
Lutfiyya. To appear in the 14th Symposium on Principles of
Distributed Computing (PODC'95), August 20-23, 1995, Ottawa,
Ontario.
- Performance
Benefits of Optimistic Programming: A Measure of HOPE
- Crispin Cowan, Hanan
Lutfiyya, and Mike Bauer. To
appear in the Fourth IEEE International Symposium on
High-Performance Distributed Computing (HPDC-4), August 2-4, 1995,
Pentagon City, Virginia.
- Optimistic
Language Constructs.
- Hanan Lutfiyya and
Crispin Cowan, presented at the ICSE-17 Workshop on Research Issues
in the Intersection of Software Engineering and Programming
Languages, Seattle, WA, April 1995.
- Optimistic
Programming in PVM
- Crispin Cowan, 1994 PVM Users' Group
Meeting, Oak Ridge, TN, May 1994.
- Increasing
Concurrency Through Optimism: A Reason for HOPE
- Crispin Cowan, Hanan
Lutfiyya, and Mike Bauer, 1994
ACM Computer Science Conference, Phoenix, AZ, March 1994.
- Optimistic
Replication in HOPE
- Crispin Cowan, Proceedings of the 1992 CAS Conference,
Toronto, Ontario, November 1992.
Dissertation
A Programming
Model for Optimism