Miguel Castro's Publications

 

Journals

Conferences

Workshops

Thesis

Technical reports

 

 

Journals:

 

BASE: Using Abstraction to Improve Fault Tolerance

ACM Transactions on Computer Systems (TOCS). Volume 21, Issue 3, August 2003. Miguel Castro, Rodrigo Rodrigues and Barbara Liskov.

 

Managing R&D Alliances Within Government: The“Virtual Agency” Concept.

IEEE Transactions on Engineering Management, Volume 50, Number 3, August2003. Miguel Castro, Roger S. Foster, Kevin Gunn, and Edward B. Roberts

 

Practical Byzantine fault-tolerance and proactive recovery

ACM Transactions on Computer Systems (TOCS), Volume 20, Issue 4, November 2002. M. Castro and B. Liskov.

 

SCRIBE: A large-scale and decentralised application-level multicast infrastructure

IEEE Journal on Selected Areas in Communication (JSAC), Volume 20, Number 8, October 2002. M. Castro, P. Druschel, A-M. Kermarrec  and A. Rowstron.

 

Conferences:

 

Securing software by enforcing data-flow integrity

Symposium on Operating Systems Design and Implementation (OSDI), Seattle WA, November 2006. M. Castro, M. Costa, T. Harris.

 

Virtual Ring Routing: Network Routing Inspired by DHTs

SIGCOMM 2006, September 2006. M. Caesar, M. Castro, E. Nightingale, G. O'Shea, A. Rowstron.

 

POS: Practical Order Statistics for Wireless Sensor Networks

International Conference on Distributed Computing Systems (ICDCS), Lisboa, Portugal, July 2006. Landon P. Cox, Miguel Castro, and Antony Rowstron.

 

Vigilante: End-to-End Containment of Internet Worms (award paper)

Symposium on Operating System Principles (SOSP), Brighton, UK, October 2005. M. Costa, J. Crowcroft, M. Castro, A. Rowstron, L. Zhou, L. Zhang, and P. Barham.

 

Debunking some myths about structured and unstructured overlays

Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, USA, May 2005. M. Castro, M. Costa, and A. Rowstron.

 

Performance and Dependability of structured peer-to-peer overlays

International Conference on Dependable Systems and Networks (DSN), Florence, Italy, June 2004 Miguel Castro, Manuel Costa and Antony Rowstron.

 

PIC: Practical Internet Coordinates for Distance Estimation

International Conference on Distributed Computing Systems (ICDCS), March 2004. Manuel Costa, Miguel Castro, Antony Rowstron, and Peter Key.

 

SplitStream: High-bandwidth multicast in a cooperative environment

Symposium on Operating System Principles (SOSP), Lake Bolton, New York, October, 2003.  M. Castro, P. Druschel, A-M. Kermarrec, A. Nandi, A. Rowstron and A. Singh.

 

An Evaluation of Scalable Application-level Multicast Built Using Peer-to-peer overlays

Conference on Computer Communications (INFOCOM), San Francisco, CA, April, 2003. M. Castro, M. B. Jones, A-M. Kermarrec, A. Rowstron, M. Theimer, H. Wang and A. Wolman.

 

Security for structured peer-to-peer overlay networks 

Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002. M. Castro, P. Druschel, A. Ganesh, A. Rowstron, and D. S. Wallach.

 

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. 

Symposium on Operating Systems Design and Implementation (OSDI), Boston, MA, December 2002. A. Adya, W. J. Bolosky, M. Castro, G. Cermak, R. Chaiken, J. R. Douceur, J. Howell, J. R. Lorch, M. Theimer, R. P. Wattenhofer.

 

BASE: Using Abstraction to Improve Fault Tolerance (award paper)

Symposium on Operating Systems Principles (SOSP), Banff, Canada, October 2001.  Rodrigo Rodrigues, Miguel Castro, and Barbara Liskov.

 

Byzantine fault tolerance can be fast

International Conference on Dependable Systems and Networks (DSN), (Goteborg, Sweden), July 2001. Miguel Castro and Barbara Liskov.

 

Proactive Recovery in a Byzantine-Fault-Tolerant System (award paper)
Symposium on Operating Systems Design and Implementation (OSDI), San Diego, USA, October 2000. Miguel Castro and Barbara Liskov.

 

Providing Persistent Objects in Distributed Systems
European Conference on Object-Oriented Programming (ECOOP), Lisbon, Portugal, June 1999.  Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya.

 

Practical Byzantine Fault Tolerance
Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, USA, February 1999. Miguel Castro and Barbara Liskov.

 

HAC: Hybrid Adaptive Caching for Distributed Storage Systems
Symposium on Operating System Principles (SOSP), 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
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
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
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
International Conference on Management of Data (SIGMOD).
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
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
Mach Conference (MACHNIX). Santa Fe USA, April 1993. Miguel Castro, Nuno Neves, Pedro Trancoso and Pedro Sousa.

 

Workshops:

 

 Can we contain Internet worms?

 Workshop on Hot Topics in Networks (HotNets), San Diego, California, USA, November 2004. M. Costa, J. Crowcroft, M. Castro and A. Rowstron.

 

 Defending against Eclipse attacks on overlay networks

 SIGOPS European Workshop, Leuven, Belgium, Sept. 2004. Atul Singh, Miguel Castro, Peter Druschel and Antony Rowstron.

 

Should we build Gnutella on a structured overlay?

Workshop on Hot Topics in Networks (HotNets), Boston, MA, November 2003. Miguel Castro, Manuel Costa and Antony Rowstron.

 

Scalable Application-level Anycast for Highly Dynamic Groups

Networked Group Communication (NGC), Munich, Germany, September 2003. M. Castro, P. Druschel, A-M. Kermarrec  and A. Rowstron

 

Controlling the Cost of Reliability in Peer-to-peer Overlays

Peer-to-Peer Systems II ( IPTPS), Berkeley, CA, February 2003. R. Mahajan, M. Castro and A. Rowstron

 

SplitStream: High-bandwidth content distribution in a cooperative environment

Peer-to-Peer Systems II (IPTPS), Berkeley, CA, February, 2003. M. Castro, P. Druschel, A-M. Kermarrec, A. Nandi, A. Rowstron and A. Singh.

 

Topology-aware routing in structure peer-to-peer overlay network

International Workshop on Future Directions in Distributed Computing (FuDiCo), Bertinoro, Italy, June, 2002. M. Castro, P. Druschel, Y. C. Hu and A. Rowstron.

 

One ring to rule them all: Service discovery and binding in structured peer-to-peer overlay networks

SIGOPS European Workshop, France, September, 2002. M. Castro, P. Druschel, A-M. Kermarrec and A. Rowstron.

 

SCRIBE: The design of a large-scale event notification infrastructure

Networked Group Communication (NGC), UCL, London, November 2001. A. Rowstron, A-M. Kermarrec, M. Castro and P. Druschel.

 

Using Abstraction to Improve Fault Tolerance

Workshop on Hot Topics in Operating Systems (HotOS), Elmau/Oberbayern, Germany, May 2001. Miguel Castro, Rodrigo Rodrigues, and Barbara Liskov.

 

How to Scale Transactional Storage Systems

SIGOPS European Workshop, September 1996. Liuba Shrira, Barbara Liskov, Miguel Castro and Atul Adya.

 

Type-Safe Heterogeneous Sharing can be Fast

International Workshop on Persistent Object Systems (POS), 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).

International Workshop on Persistent Object Systems (POS), May 1996.  Liuba Shrira, Barbara Liskov, Miguel Castro and Atul Adya.

 

Distributed Shared Object Memory.

Workshop on Workstation Operating Systems (now HotOS). Napa USA, October 1993. Paulo Guedes and Miguel Castro.

 

 

Thesis:

 

Practical Byzantine Fault Tolerance

Technical Report MIT/LCS/TR-817. MIT Laboratory for Computer Science, Cambridge, MA, January 2001. Ph.D. thesis. Miguel Castro
 

 

Technical Reports:

 

Proximity neighbor selection in tree-based structured peer-to-peer overlays

Technical report MSR-TR-2003-52, 2003. M. Castro, P. Druschel, Y. C. Hu and A. Rowstron.

 

Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography

Technical Memo MIT/LCS/TM-589, MIT Laboratory for Computer Science, June 1999. Miguel Castro and Barbara Liskov.

 

A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm

Technical Memo MIT/LCS/TM-590, MIT Laboratory for Computer Science, June 1999. Miguel Castro and Barbara Liskov.

 

Lazy Reference Counting for Transactional Storage Systems

Technical Memo MIT/LCS/TM-567, MIT Laboratory for Computer Science, November 1997. Miguel Castro, Atul Adya, and Barbara Liskov.