default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiguel Castro 0001
Person information
- affiliation: Microsoft Research, Cambridge, UK
- affiliation (former): Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, USA
Other persons with the same name
- Miguel Castro — disambiguation page
- Miguel Castro 0002
![[0000-0003-1792-6857]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-1792-6857")
— Inserm U1099, Rennes, France (and 1 more) - Miguel Castro 0003 — University of Murcia, Regional Campus of International Excellence "Campus Mare Nostrum", Spain
2020 – today
- 2024
[j9]Torsten Hoefler, Tommaso Bonoto, Daniele De Sensi, Salvatore Di Girolamo, Shigang Li, Marco Heddes, Deepak Goel, Miguel Castro, Steve Scott:
HammingMesh: A Network Topology for Large-Scale Deep Learning. Commun. ACM 67(12): 97-105 (2024)- [j8]Junyi Liu, Aleksandar Dragojevic, Shane T. Fleming, Antonios Katsarakis, Dario Korolija, Igor Zablotchi, Ho-Cheung Ng, Anuj Kalia, Miguel Castro:
Honeycomb: Ordered Key-Value Store Acceleration on an FPGA-Based SmartNIC. IEEE Trans. Computers 73(3): 857-871 (2024) - 2023
- [i5]Junyi Liu, Aleksandar Dragojevic, Shane Flemming, Antonios Katsarakis, Dario Korolija, Igor Zablotchi, Ho-Cheung Ng, Anuj Kalia, Miguel Castro:
Honeycomb: ordered key-value store acceleration on an FPGA-based SmartNIC. CoRR abs/2303.14259 (2023) - 2022
- [c51]Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich:
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI 2022: 467-491 - [c50]Torsten Hoefler, Tommaso Bonato, Daniele De Sensi, Salvatore Di Girolamo, Shigang Li, Marco Heddes, Jon Belk, Deepak Goel, Miguel Castro, Steve Scott:
HammingMesh: A Network Topology for Large-Scale Deep Learning. SC 2022: 11:1-11:18 - [i4]Torsten Hoefler, Tommaso Bonato, Daniele De Sensi, Salvatore Di Girolamo, Shigang Li, Marco Heddes, Jon Belk, Deepak Goel, Miguel Castro, Steve Scott:
HammingMesh: A Network Topology for Large-Scale Deep Learning. CoRR abs/2209.01346 (2022) - 2021
- [i3]Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich:
PAC: Practical Accountability for CCF. CoRR abs/2105.13116 (2021) - 2020
- [c49]Chiranjeeb Buragohain, Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Joshua Cowhig, Nikolas Gloy, Karthik Kalyanaraman, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng:
A1: A Distributed In-Memory Graph Database. SIGMOD Conference 2020: 329-344 - [i2]Chiranjeeb Buragohain, Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Joshua Cowhig, Nikolas Gloy, Karthik Kalyanaraman, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng:
A1: A Distributed In-Memory Graph Database. CoRR abs/2004.05712 (2020) - [i1]Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Anders T. Gjerdrum, Dan Alistarh, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro:
Fast General Distributed Transactions with Opacity using Global Time. CoRR abs/2006.14346 (2020)
2010 – 2019
- 2019
- [c48]Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro:
Fast General Distributed Transactions with Opacity. SIGMOD Conference 2019: 433-448 - 2017
- [j7]Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro:
RDMA Reads: To Use or Not to Use? IEEE Data Eng. Bull. 40(1): 3-14 (2017) - 2015
- [c47]Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro:
No compromises: distributed transactions with consistency, availability, and performance. SOSP 2015: 54-70 - 2014
- [c46]Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa:
Docovery: toward generic automatic document recovery. ASE 2014: 563-574 - [c45]Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson:
FaRM: Fast Remote Memory. NSDI 2014: 401-414 - 2013
- [e2]Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek:
Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013. ACM 2013, ISBN 978-1-4503-1994-2 [contents] - 2010
- [c44]Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro:
Dynamically checking ownership policies in concurrent c/c++ programs. POPL 2010: 457-470
2000 – 2009
- 2009
- [c43]Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black:
Fast byte-granularity software fault isolation. SOSP 2009: 45-58 - [c42]Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand:
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors. USENIX Security Symposium 2009: 51-66 - 2008
- [j6]Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham:
Vigilante: End-to-end containment of Internet worm epidemics. ACM Trans. Comput. Syst. 26(4): 9:1-9:68 (2008) - [c41]Miguel Castro, Manuel Costa, Jean-Philippe Martin:
Better bug reporting with better privacy. ASPLOS 2008: 319-328 - [c40]Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro:
Preventing Memory Error Exploits with WIT. SP 2008: 263-277 - 2007
- [c39]Miguel Castro, John Wilkes:
Third Workshop on Hot Topics in System Dependability HotDep'07. DSN 2007: 804 - [c38]Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado:
Bouncer: securing software by blocking bad input. SOSP 2007: 117-130 - 2006
- [c37]Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron:
Network coding with traffic engineering. CoNEXT 2006: 40 - [c36]Landon P. Cox, Miguel Castro, Antony I. T. Rowstron:
POS: A Practical Order Statistics Service forWireless Sensor Networks. ICDCS 2006: 52 - [c35]Miguel Castro, Greg O'Shea, Antony I. T. Rowstron:
Zero servers with zero broadcasts. MobiShare@MobiCom 2006: 36-41 - [c34]Miguel Castro, Manuel Costa, Tim Harris:
Securing Software by Enforcing Data-flow Integrity. OSDI 2006: 147-160 - [c33]Matthew Caesar, Miguel Castro, Edmund B. Nightingale, Greg O'Shea, Antony I. T. Rowstron:
Virtual ring routing: network routing inspired by DHTs. SIGCOMM 2006: 351-362 - 2005
- [c32]Miguel Castro, Manuel Costa, Antony I. T. Rowstron:
Debunking Some Myths About Structured and Unstructured Overlays. NSDI 2005 - [c31]Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham:
Vigilante: end-to-end containment of internet worms. SOSP 2005: 133-147 - 2004
- [j5]Miguel Castro, Manuel Costa, Antony I. T. Rowstron:
Should we build Gnutella on a structured overlay? Comput. Commun. Rev. 34(1): 131-136 (2004) - [c30]Miguel Castro, Manuel Costa, Antony I. T. Rowstron:
Performance and Dependability of Structured Peer-to-Peer Overlays. DSN 2004: 9-18 - [c29]Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key:
PIC: Practical Internet Coordinates for Distance Estimation. ICDCS 2004: 178-187 - [c28]Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron:
Defending against eclipse attacks on overlay networks. ACM SIGOPS European Workshop 2004: 21 - [e1]Yolande Berbers, Miguel Castro:
Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004. ACM 2004 [contents] - 2003
- [j4]Miguel Castro, Roger S. Foster, Kevin Gunn, Edward B. Roberts:
Managing R&D alliances within government: the "virtual agency" concept. IEEE Trans. Engineering Management 50(3): 297-306 (2003) - [j3]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003) - [c27]Miguel Castro, Peter Druschel, Y. Charlie Hu, Antony I. T. Rowstron:
Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks. Future Directions in Distributed Computing 2003: 103-107 - [c26]Miguel Castro, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman:
An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays. INFOCOM 2003: 1510-1520 - [c25]Ratul Mahajan, Miguel Castro, Antony I. T. Rowstron:
Controlling the Cost of Reliability in Peer-to-Peer Overlays. IPTPS 2003: 21-32 - [c24]Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh:
SplitStream: High-Bandwidth Content Distribution in Cooperative Environments. IPTPS 2003: 292-303 - [c23]Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron:
Scalable Application-Level Anycast for Highly Dynamic Groups. Networked Group Communication 2003: 47-57 - [c22]Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh:
SplitStream: high-bandwidth multicast in cooperative environments. SOSP 2003: 298-313 - 2002
- [j2]Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron:
Scribe: a large-scale and decentralized application-level multicast infrastructure. IEEE J. Sel. Areas Commun. 20(8): 1489-1499 (2002) - [j1]Miguel Castro, Barbara Liskov:
Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002) - [c21]Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer:
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. OSDI 2002 - [c20]Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach:
Secure Routing for Structured Peer-to-Peer Overlay Networks. OSDI 2002 - [c19]Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron:
One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks. ACM SIGOPS European Workshop 2002: 140-145 - 2001
- [c18]Miguel Castro, Barbara Liskov:
Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518 - [c17]Miguel Castro, Rodrigo Rodrigues, Barbara Liskov:
Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32 - [c16]Antony I. T. Rowstron, Anne-Marie Kermarrec, Miguel Castro, Peter Druschel:
SCRIBE: The Design of a Large-Scale Event Notification Infrastructure. Networked Group Communication 2001: 30-43 - [c15]Rodrigo Rodrigues, Miguel Castro, Barbara Liskov:
BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28 - 2000
- [c14]Miguel Castro, Barbara Liskov:
Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288
1990 – 1999
- 1999
- [c13]Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya:
Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257 - [c12]Miguel Castro, Barbara Liskov:
Practical Byzantine Fault Tolerance. OSDI 1999: 173-186 - 1997
- [c11]Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira:
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS 1997: 2-11 - [c10]Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers:
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115 - 1996
- [c9]Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes:
Efficient and Flexible Object Sharing. ICPP, Vol. 1 1996: 128-137 - [c8]Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro:
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI 1996: 59-73 - [c7]Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan:
Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10 - [c6]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139 - [c5]Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira:
Safe and Efficient Sharing of Persistent Objects in Thor. SIGMOD Conference 1996: 318-329 - [c4]Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya:
How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127 - 1994
- [c3]Nuno Neves, Miguel Castro, Paulo Guedes:
A Checkpoint Protocol for an Entry Consistent Shared Memory System. PODC 1994: 121-129 - [c2]Paulo Guedes, Miguel Castro, Nuno Neves:
The DiSOM Distributed Shared Object Memory. ACM SIGOPS European Workshop 1994: 138-140 - 1993
- [c1]Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Manuel Antunes Sousa:
MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. USENIX MACH Symposium 1993: 253-272
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-28 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
