Miguel Castro

According to our database, Miguel Castro authored at least 58 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

IEEE Trans. Computers, March, 2024

2023

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

CoRR, 2023

2022

HammingMesh: A Network Topology for Large-Scale Deep Learning.

Torsten Hoefler, Tommaso Bonato, Daniele De Sensi, Salvatore Di Girolamo, Shigang Li, Marco Heddes, Jon Belk, Deepak Goel, Miguel Castro, Steve Scott

Proceedings of the SC22: International Conference for High Performance Computing, 2022

IA-CCF: Individual Accountability for Permissioned Ledgers.

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

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

PAC: Practical Accountability for CCF.

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

CoRR, 2021

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

CoRR, 2020

A1: A Distributed In-Memory Graph Database.

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

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Fast General Distributed Transactions with Opacity.

Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro

Proceedings of the 2019 International Conference on Management of Data, 2019

2017

RDMA Reads: To Use or Not to Use?

Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro

IEEE Data Eng. Bull., 2017

2015

No compromises: distributed transactions with consistency, availability, and performance.

Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

FaRM: Fast Remote Memory.

Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

Docovery: toward generic automatic document recovery.

Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2010

Dynamically checking ownership policies in concurrent c/c++ programs.

Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.

Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand

Proceedings of the 18th USENIX Security Symposium, 2009

Fast byte-granularity software fault isolation.

Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008

Vigilante: End-to-end containment of Internet worm epidemics.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

ACM Trans. Comput. Syst., 2008

Preventing Memory Error Exploits with WIT.

Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Better bug reporting with better privacy.

Miguel Castro, Manuel Costa, Jean-Philippe Martin

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

Bouncer: securing software by blocking bad input.

Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Third Workshop on Hot Topics in System Dependability HotDep'07.

Miguel Castro, John Wilkes

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Virtual ring routing: network routing inspired by DHTs.

Matthew Caesar, Miguel Castro, Edmund B. Nightingale, Greg O'Shea, Antony I. T. Rowstron

Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Securing Software by Enforcing Data-flow Integrity.

Miguel Castro, Manuel Costa, Tim Harris

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Zero servers with zero broadcasts.

Miguel Castro, Greg O'Shea, Antony I. T. Rowstron

Proceedings of the 1st international workshop on Decentralized resource sharing in mobile computing and networking, 2006

POS: A Practical Order Statistics Service forWireless Sensor Networks.

Landon P. Cox, Miguel Castro, Antony I. T. Rowstron

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

Network coding with traffic engineering.

Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron

Proceedings of the 2006 ACM Conference on Emerging Network Experiment and Technology, 2006

2005

Vigilante: end-to-end containment of internet worms.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Debunking Some Myths About Structured and Unstructured Overlays.

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

2004

Should we build Gnutella on a structured overlay?

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Comput. Commun. Rev., 2004

Defending against eclipse attacks on overlay networks.

Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

PIC: Practical Internet Coordinates for Distance Estimation.

Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Performance and Dependability of Structured Peer-to-Peer Overlays.

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

BASE: Using abstraction to improve fault tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

ACM Trans. Comput. Syst., 2003

Managing R&D alliances within government: the "virtual agency" concept.

Miguel Castro, Roger S. Foster, Kevin Gunn, Edward B. Roberts

IEEE Trans. Engineering Management, 2003

SplitStream: high-bandwidth multicast in cooperative environments.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Scalable Application-Level Anycast for Highly Dynamic Groups.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron

Proceedings of the Group Communications and Charges; Technology and Business Models, 2003

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

Ratul Mahajan, Miguel Castro, Antony I. T. Rowstron

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

SplitStream: High-Bandwidth Content Distribution in Cooperative Environments.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays.

Miguel Castro, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman

Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks.

Miguel Castro, Peter Druschel, Y. Charlie Hu, Antony I. T. Rowstron

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Practical byzantine fault tolerance and proactive recovery.

Miguel Castro, Barbara Liskov

ACM Trans. Comput. Syst., 2002

Scribe: a large-scale and decentralized application-level multicast infrastructure.

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron

IEEE J. Sel. Areas Commun., 2002

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

Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Secure Routing for Structured Peer-to-Peer Overlay Networks.

Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

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

Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001

SCRIBE: The Design of a Large-Scale Event Notification Infrastructure.

Antony I. T. Rowstron, Anne-Marie Kermarrec, Miguel Castro, Peter Druschel

Proceedings of the Networked Group Communication, 2001

Using Abstraction To Improve Fault Tolerance.

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Byzantine Fault Tolerance Can Be Fast.

Miguel Castro, Barbara Liskov

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

Proactive Recovery in a Byzantine-Fault-Tolerant System.

Miguel Castro, Barbara Liskov

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

1999

Practical Byzantine Fault Tolerance.

Miguel Castro, Barbara Liskov

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

Providing Persistent Objects in Distributed Systems.

Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya

Proceedings of the ECOOP'99, 1999

1997

HAC: Hybrid Adaptive Caching for Distributed Storage Systems.

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.

Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

1996

How to scale transactional storage systems.

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Safe and Efficient Sharing of Persistent Objects in Thor.

Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Type-Safe Heterogeneous Sharing can be Fast.

Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory.

Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

Efficient and Flexible Object Sharing.

Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes

Proceedings of the 1996 International Conference on Parallel Processing, 1996