MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. - Miguel Castro 001; Nuno Neves 001; Pedro Trancuso; Pedro Manuel Antunes Sousa (USENIX MACH Symposium, 1993)

A Checkpoint Protocol for an Entry Consistent Shared Memory System. - Nuno Neves 001; Miguel Castro 001; Paulo Guedes (PODC, 1994)

The DiSOM Distributed Shared Object Memory. - Paulo Guedes; Miguel Castro 001; Nuno Neves 001 (ACM SIGOPS European Workshop, 1994)

Efficient and Flexible Object Sharing. - Miguel Castro 001; Manuel Sequeira; Manuel Costa; Paulo Guedes (ICPP, Vol. 1, 1996)

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. - Manuel Costa; Paulo Guedes; Manuel Sequeira; Nuno Neves 001; Miguel Castro 001 (OSDI, 1996)

Type-Safe Heterogeneous Sharing can be Fast. - Barbara Liskov; Atul Adya; Miguel Castro 001; Quinton Zondervan (POS, 1996)

Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. - Liuba Shrira; Barbara Liskov; Miguel Castro 001; Atul Adya (POS, 1996)

Safe and Efficient Sharing of Persistent Objects in Thor. - Barbara Liskov; Atul Adya; Miguel Castro 001; Mark Day; Sanjay Ghemawat; Robert Gruber; Umesh Maheshwari; Andrew C. Myers; Liuba Shrira (SIGMOD Conference, 1996)

How to scale transactional storage systems. - Liuba Shrira; Barbara Liskov; Miguel Castro 001; Atul Adya (ACM SIGOPS European Workshop, 1996)

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. - Atul Adya; Miguel Castro 001; Barbara Liskov; Umesh Maheshwari; Liuba Shrira (ICDCS, 1997)

HAC: Hybrid Adaptive Caching for Distributed Storage Systems. - Miguel Castro 001; Atul Adya; Barbara Liskov; Andrew C. Myers (SOSP, 1997)

Providing Persistent Objects in Distributed Systems. - Barbara Liskov; Miguel Castro 001; Liuba Shrira; Atul Adya (ECOOP, 1999)

Practical Byzantine Fault Tolerance. - Miguel Castro 001; Barbara Liskov (OSDI, 1999)

Proactive Recovery in a Byzantine-Fault-Tolerant System. - Miguel Castro 001; Barbara Liskov (OSDI, 2000)

Byzantine Fault Tolerance Can Be Fast. - Miguel Castro 001; Barbara Liskov (DSN, 2001)

Using Abstraction To Improve Fault Tolerance. - Miguel Castro 001; Rodrigo Rodrigues 001; Barbara Liskov (HotOS, 2001)

SCRIBE: The Design of a Large-Scale Event Notification Infrastructure. - Antony I. T. Rowstron; Anne-Marie Kermarrec; Miguel Castro 001; Peter Druschel (Networked Group Communication, 2001)

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. - Atul Adya; William J. Bolosky; Miguel Castro 001; Gerald Cermak; Ronnie Chaiken; John R. Douceur; Jon Howell; Jacob R. Lorch; Marvin Theimer; Roger Wattenhofer (OSDI, 2002)

Secure Routing for Structured Peer-to-Peer Overlay Networks. - Miguel Castro 001; Peter Druschel; Ayalvadi J. Ganesh; Antony I. T. Rowstron; Dan S. Wallach (OSDI, 2002)

One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks. - Miguel Castro 001; Peter Druschel; Anne-Marie Kermarrec; Antony I. T. Rowstron (ACM SIGOPS European Workshop, 2002)

Scribe: a large-scale and decentralized application-level multicast infrastructure. - Miguel Castro 001; Peter Druschel; Anne-Marie Kermarrec; Antony I. T. Rowstron (IEEE J. Sel. Areas Commun., 2002)

Practical byzantine fault tolerance and proactive recovery. - Miguel Castro 001; Barbara Liskov (ACM Trans. Comput. Syst., 2002)

Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks. - Miguel Castro 001; Peter Druschel; Y. Charlie Hu; Antony I. T. Rowstron (Future Directions in Distributed Computing, 2003)

An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays. - Miguel Castro 001; Michael B. Jones; Anne-Marie Kermarrec; Antony I. T. Rowstron; Marvin Theimer; Helen J. Wang; Alec Wolman (INFOCOM, 2003)

SplitStream: High-Bandwidth Content Distribution in Cooperative Environments. - Miguel Castro 001; Peter Druschel; Anne-Marie Kermarrec; Animesh Nandi; Antony I. T. Rowstron; Atul Singh (IPTPS, 2003)

Controlling the Cost of Reliability in Peer-to-Peer Overlays. - Ratul Mahajan; Miguel Castro 001; Antony I. T. Rowstron (IPTPS, 2003)

Scalable Application-Level Anycast for Highly Dynamic Groups. - Miguel Castro 001; Peter Druschel; Anne-Marie Kermarrec; Antony I. T. Rowstron (Networked Group Communication, 2003)

SplitStream: high-bandwidth multicast in cooperative environments. - Miguel Castro 001; Peter Druschel; Anne-Marie Kermarrec; Animesh Nandi; Antony I. T. Rowstron; Atul Singh (SOSP, 2003)

Managing R&D alliances within government: the "virtual agency" concept. - Miguel Castro 001; Roger S. Foster; Kevin Gunn; Edward B. Roberts (IEEE Trans. Engineering Management, 2003)

BASE: Using abstraction to improve fault tolerance. - Miguel Castro 001; Rodrigo Rodrigues 001; Barbara Liskov (ACM Trans. Comput. Syst., 2003)

Performance and Dependability of Structured Peer-to-Peer Overlays. - Miguel Castro 001; Manuel Costa; Antony I. T. Rowstron (DSN, 2004)

PIC: Practical Internet Coordinates for Distance Estimation. - Manuel Costa; Miguel Castro 001; Antony I. T. Rowstron; Peter B. Key (ICDCS, 2004)

Defending against eclipse attacks on overlay networks. - Atul Singh; Miguel Castro 001; Peter Druschel; Antony I. T. Rowstron (ACM SIGOPS European Workshop, 2004)

Should we build Gnutella on a structured overlay? - Miguel Castro 001; Manuel Costa; Antony I. T. Rowstron (Comput. Commun. Rev., 2004)

Debunking Some Myths About Structured and Unstructured Overlays. - Miguel Castro 001; Manuel Costa; Antony I. T. Rowstron (NSDI, 2005)

Vigilante: end-to-end containment of internet worms. - Manuel Costa; Jon Crowcroft; Miguel Castro 001; Antony I. T. Rowstron; Lidong Zhou; Lintao Zhang; Paul Barham 001 (SOSP, 2005)

Network coding with traffic engineering. - Wenjun Hu; Miguel Castro 001; Jon Crowcroft; Greg O'Shea; Antony I. T. Rowstron (CoNEXT, 2006)

POS: A Practical Order Statistics Service forWireless Sensor Networks. - Landon P. Cox; Miguel Castro 001; Antony I. T. Rowstron (ICDCS, 2006)

Zero servers with zero broadcasts. - Miguel Castro 001; Greg O'Shea; Antony I. T. Rowstron (MobiShare@MobiCom, 2006)

Securing Software by Enforcing Data-flow Integrity. - Miguel Castro 001; Manuel Costa; Tim Harris 001 (OSDI, 2006)

Virtual ring routing: network routing inspired by DHTs. - Matthew Caesar 001; Miguel Castro 001; Edmund B. Nightingale; Greg O'Shea; Antony I. T. Rowstron (SIGCOMM, 2006)

Third Workshop on Hot Topics in System Dependability HotDep'07. - Miguel Castro 001; John Wilkes (DSN, 2007)

Bouncer: securing software by blocking bad input. - Manuel Costa; Miguel Castro 001; Lidong Zhou; Lintao Zhang; Marcus Peinado (SOSP, 2007)

Better bug reporting with better privacy. - Miguel Castro 001; Manuel Costa; Jean-Philippe Martin (ASPLOS, 2008)

Preventing Memory Error Exploits with WIT. - Periklis Akritidis; Cristian Cadar; Costin Raiciu; Manuel Costa; Miguel Castro 001 (SP, 2008)

Vigilante: End-to-end containment of Internet worm epidemics. - Manuel Costa; Jon Crowcroft; Miguel Castro 001; Antony I. T. Rowstron; Lidong Zhou; Lintao Zhang; Paul Barham 001 (ACM Trans. Comput. Syst., 2008)

Fast byte-granularity software fault isolation. - Miguel Castro 001; Manuel Costa; Jean-Philippe Martin; Marcus Peinado; Periklis Akritidis; Austin Donnelly; Paul Barham 001; Richard Black (SOSP, 2009)

Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors. - Periklis Akritidis; Manuel Costa; Miguel Castro 001; Steven Hand 001 (USENIX Security Symposium, 2009)

Dynamically checking ownership policies in concurrent c/c++ programs. - Jean-Phillipe Martin; Michael Hicks 001; Manuel Costa; Periklis Akritidis; Miguel Castro 001 (POPL, 2010)

Docovery: toward generic automatic document recovery. - Tomasz Kuchta; Cristian Cadar; Miguel Castro 001; Manuel Costa (ASE, 2014)

FaRM: Fast Remote Memory. - Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001; Orion Hodson (NSDI, 2014)

No compromises: distributed transactions with consistency, availability, and performance. - Aleksandar Dragojevic; Dushyanth Narayanan; Edmund B. Nightingale; Matthew Renzelmann; Alex Shamis; Anirudh Badam; Miguel Castro 001 (SOSP, 2015)

RDMA Reads: To Use or Not to Use? - Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001 (IEEE Data Eng. Bull., 2017)

Fast General Distributed Transactions with Opacity. - Alex Shamis; Matthew Renzelmann; Stanko Novakovic; Georgios Chatzopoulos; Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001 (SIGMOD Conference, 2019)

A1: A Distributed In-Memory Graph Database. - Chiranjeeb Buragohain; Knut Magne Risvik; Paul Brett; Miguel Castro 001; Wonhee Cho 004; Joshua Cowhig; Nikolas Gloy; Karthik Kalyanaraman; Richendra Khanna; John Pao; Matthew Renzelmann; Alex Shamis; et al. (SIGMOD Conference, 2020)

Fast General Distributed Transactions with Opacity using Global Time. - Alex Shamis; Matthew Renzelmann; Stanko Novakovic; Georgios Chatzopoulos; Anders T. Gjerdrum; Dan Alistarh; Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001 (CoRR, 2020)

PAC: Practical Accountability for CCF. - Alex Shamis; Peter R. Pietzuch; Miguel Castro 001; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Cédric Fournet; Matthew Kerner; Julien Maffre; Manuel Costa; Mark Russinovich (CoRR, 2021)

IA-CCF: Individual Accountability for Permissioned Ledgers. - Alex Shamis; Peter R. Pietzuch; Burcu Canakci; Miguel Castro 001; Cédric Fournet; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Matthew Kerner; Julien Maffre; Olga Vrousgou; et al. (NSDI, 2022)

HammingMesh: A Network Topology for Large-Scale Deep Learning. - Torsten Hoefler; Tommaso Bonato; Daniele De Sensi; Salvatore Di Girolamo; Shigang Li 002; Marco Heddes; Jon Belk; Deepak Goel; Miguel Castro 001; Steve Scott (SC, 2022)

Honeycomb: ordered key-value store acceleration on an FPGA-based SmartNIC. - Junyi Liu; Aleksandar Dragojevic; Shane Flemming; Antonios Katsarakis; Dario Korolija; Igor Zablotchi; Ho-Cheung Ng; Anuj Kalia; Miguel Castro 001 (CoRR, 2023)

Honeycomb: Ordered Key-Value Store Acceleration on an FPGA-Based SmartNIC. - Junyi Liu; Aleksandar Dragojevic; Shane T. Fleming; Antonios Katsarakis; Dario Korolija; Igor Zablotchi; Ho-Cheung Ng; Anuj Kalia; Miguel Castro 001 (IEEE Trans. Computers, 2024)

HammingMesh: A Network Topology for Large-Scale Deep Learning. - Torsten Hoefler; Tommaso Bonoto; Daniele De Sensi; Salvatore Di Girolamo; Shigang Li 002; Marco Heddes; Deepak Goel; Miguel Castro 001; Steve Scott (Commun. ACM, 2024)