Thesis:
Conferences:
-
Proactive
Recovery in a Byzantine-Fault-Tolerant System
Proceedings of the Fourth Symposium on Operating Systems Design and
Implementation (OSDI '00), San Diego, USA, October 2000. Miguel Castro
and Barbara Liskov.
-
Providing Persistent Objects in Distributed Systems
Proceedings of the 13th European Conference on Object-Oriented Programming
(ECOOP '99),
Lisbon, Portugal, June 1999.
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya
[
PostScript
| PDF]
-
Practical
Byzantine Fault Tolerance
Proceedings of the Third Symposium on Operating Systems Design and
Implementation (OSDI '99), New Orleans, USA, February 1999. Miguel Castro
and Barbara Liskov.
-
HAC:
Hybrid Adaptive Caching for Distributed Storage Systems
Proceedings of the ACM Symposium on Operating System Principles (SOSP
'97), Saint Malo, France, October 1997. Miguel Castro, Atul Adya, Barbara
Liskov and Andrew C. Myers.
-
Fragment
Reconstruction: Providing Global Cache Coherence in a Transactional Storage
System
Proceedings of the 17th International Conference on Distributed Computing
Systems (ICDCS). Baltimore, Maryland, May 1997. Atul Adya, Miguel Castro,
Barbara Liskov, Umesh Maheshwari and Liuba Shrira
-
Lightweight
Logging for Lazy Release Consistent Distributed Shared Memory
Proceedings of the Second Symposium on Operating Systems Design and
Implementations (OSDI). Seattle, Washington, October 1996. Manuel Costa,
Paulo Guedes, Manuel Sequeira, Nuno Neves and Miguel Castro.
-
Efficient
and Flexible Object Sharing
Proceedings of the 1996 IEEE International Conference on Parallel Processing
(ICPP). Bloomingdale IL, August 1996. Miguel Castro, Manuel Sequeira, Manuel
Costa and Paulo Guedes.
-
Safe
and Efficient Sharing of Persistent Objects in Thor
Proceedings of the 1996 ACM SIGMOD International Conference on Management
of Data. Montreal Canada, June 1996. Pages 318-329. Barbara Liskov, Atul
Adya, Miguel Castro, Mark Day, Robert Gruber, Umesh Maheshwari, Andrew
Myers and Liuba Shrira.
-
A Checkpoint
Protocol for an Entry Consistent Shared Memory System
Proceedings of the Thirteenth ACM Symposium on Principles of Distributed
Computing (PODC). Los Angeles USA, August 1994. Nuno Neves, Miguel Castro
and Paulo Guedes.
-
MIKE:
a Distributed Object-oriented Programming Platform on top of the Mach Micro-Kernel
Proceedings of the 1993 USENIX Mach Conference. Santa Fe USA, April
1993. Miguel Castro, Nuno Neves, Pedro Trancoso and Pedro Sousa.
Workshops:
-
How to Scale
Transactional Storage Systems
Seventh ACM SIGOPS European Workshop, September 1996. Liuba Shrira,
Barbara Liskov, Miguel Castro and Atul Adya.
-
Type-Safe
Heterogeneous Sharing can be Fast
Seventh International Workshop on Persistent Object Systems, May 1996.
Barbara Liskov, Atul Adya, Miguel Castro and Quinton Zondervan
-
Fragment
Reconstruction: A New Cache Coherence Scheme for Split Caching Storage
Systems (Looking at the Doughnut and not the Hole)
In Seventh International Workshop on Persistent Object Systems, May
1996.
Liuba Shrira, Barbara Liskov, Miguel Castro and Atul Adya.
-
Distributed
Shared Object Memory
Proceedings of the Fourth Workshop on Workstation Operating Systems
(now HotOS). Napa USA, October 1993. Paulo Guedes and Miguel Castro
Technical Reports: