Miguel Castro

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 4

Top Topics

Digital Libraries

Top Venues

IEEE Trans. Computers

Publications

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) (2024)
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 (2023)
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)
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 (2021)
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
Docovery: toward generic automatic document recovery. ASE (2014)
Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
Dynamically checking ownership policies in concurrent c/c++ programs. POPL (2010)
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)
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)
Miguel Castro, Manuel Costa, Jean-Philippe Martin
Better bug reporting with better privacy. ASPLOS (2008)
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) (2008)
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy (2008)
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
Bouncer: securing software by blocking bad input. SOSP (2007)
Miguel Castro, John Wilkes
Third Workshop on Hot Topics in System Dependability HotDep'07. DSN (2007)
Matthew Caesar, Miguel Castro, Edmund B. Nightingale, Greg O'Shea, Antony I. T. Rowstron
Virtual ring routing: network routing inspired by DHTs. SIGCOMM (2006)
Landon P. Cox, Miguel Castro, Antony I. T. Rowstron
POS: A Practical Order Statistics Service forWireless Sensor Networks. ICDCS (2006)
Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron
Network coding with traffic engineering. CoNEXT (2006)
Miguel Castro, Greg O'Shea, Antony I. T. Rowstron
Zero servers with zero broadcasts. MobiShare@MobiCom (2006)
Miguel Castro, Manuel Costa, Tim Harris
Securing Software by Enforcing Data-flow Integrity. OSDI (2006)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Debunking Some Myths About Structured and Unstructured Overlays. NSDI (2005)
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)
Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron
Defending against eclipse attacks on overlay networks. ACM SIGOPS European Workshop (2004)
Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key
PIC: Practical Internet Coordinates for Distance Estimation. ICDCS (2004)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Performance and Dependability of Structured Peer-to-Peer Overlays. DSN (2004)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Should we build Gnutella on a structured overlay? Comput. Commun. Rev. 34 (1) (2004)
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) (2003)
Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron
Scalable Application-Level Anycast for Highly Dynamic Groups. Networked Group Communication (2003)
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21 (3) (2003)
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)
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)
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)
Ratul Mahajan, Miguel Castro, Antony I. T. Rowstron
Controlling the Cost of Reliability in Peer-to-Peer Overlays. IPTPS (2003)
Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh
SplitStream: high-bandwidth multicast in cooperative environments. SOSP (2003)
Miguel Castro, Barbara Liskov
Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20 (4) (2002)
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)
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)
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) (2002)
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)
Rodrigo Rodrigues, Miguel Castro, Barbara Liskov
BASE: Using Abstraction to Improve Fault Tolerance. SOSP (2001)
Miguel Castro, Rodrigo Rodrigues, Barbara Liskov
Using Abstraction To Improve Fault Tolerance. HotOS (2001)
Miguel Castro, Barbara Liskov
Byzantine Fault Tolerance Can Be Fast. DSN (2001)
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)
Miguel Castro, Barbara Liskov
Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI (2000)
Miguel Castro, Barbara Liskov
Practical Byzantine Fault Tolerance. OSDI (1999)
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya
Providing Persistent Objects in Distributed Systems. ECOOP (1999)
Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS (1997)
Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers
HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP (1997)
Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes
Efficient and Flexible Object Sharing. ICPP, Vol. 1 (1996)
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI (1996)
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)
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
How to scale transactional storage systems. ACM SIGOPS European Workshop (1996)
Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya
Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS (1996)
Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan
Type-Safe Heterogeneous Sharing can be Fast. POS (1996)