Miguel Castro

Adrien Kaladji, Aurelien Dumenil, Miguel Castro, Alain Cardon, Jean-Pierre Becquemin, Benyebka Bou-Saïd, Antoine Lucas, Pascal Haigron: Prediction of deformations during endovascular aortic aneurysm repair using finite element simulation. Comp. Med. Imag. and Graph. 37(2): 142-149 (2013)

Aurelien Dumenil, Adrien Kaladji, Miguel Castro, Simon Esneault, Antoine Lucas, Michel Rochette, Cemil Göksu, Pascal Haigron: Finite-Element-Based Matching of Pre- and Intraoperative Data for Image-Guided Endovascular Aneurysm Repair. IEEE Trans. Biomed. Engineering 60(5): 1353-1362 (2013)

Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek (Eds.): Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013. ACM 2013, isbn 978-1-4503-1994-2

Miguel Castro, Antonio J. Jara, Antonio F. Gómez-Skarmeta: An Analysis of M2M Platforms: Challenges and Opportunities for the Internet of Things. IMIS 2012: 757-762

Miguel Castro, Agustín Guillén, José L. Fuster, Antonio J. Jara, Miguel A. Zamora, Antonio F. Gómez-Skarmeta: Oxygen Cylinders Management Architecture Based on Internet of Things. ICCSA Workshops 2011: 271-274

Miguel Castro, Antonio J. Jara, Antonio F. Gómez-Skarmeta: Analysis of the Future Internet of Things Capabilities for Continuous Temperature Monitoring of Blood Bags in Terrestrial Logistic Systems. ICHIT (1) 2011: 558-566

Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro: Dynamically checking ownership policies in concurrent c/c++ programs. POPL 2010: 457-470

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

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

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)

Miguel Castro, Manuel Costa, Jean-Philippe Martin: Better bug reporting with better privacy. ASPLOS 2008: 319-328

Bartlomiej Wilkowski, Óscar Narciso Mortágua Pereira, Paulo Dias, Miguel Castro, Marcin Janicki: MIAWARE Software - 3D Medical Image Analysis with Automated Reporting Engine and Ontology-based Search. HEALTHINF (2) 2008: 201-206

Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro: Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy 2008: 263-277

Miguel Castro, John Wilkes: Third Workshop on Hot Topics in System Dependability HotDep'07. DSN 2007: 804

Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado: Bouncer: securing software by blocking bad input. SOSP 2007: 117-130

Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron: Network coding with traffic engineering. CoNEXT 2006: 40

Landon P. Cox, Miguel Castro, Antony I. T. Rowstron: POS: A Practical Order Statistics Service forWireless Sensor Networks. ICDCS 2006: 52

Miguel Castro, Manuel Costa, Timothy L. Harris: Securing Software by Enforcing Data-flow Integrity. OSDI 2006: 147-160

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

José Alí Moreno, Miguel Castro: Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net. EPIA 2005: 447-454

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: 133-147

Miguel Castro, Robbert van Renesse (Eds.): Peer-to-Peer Systems IV, 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3640, Springer 2005, isbn 3-540-29068-0

Miguel Castro, Manuel Costa, Antony I. T. Rowstron: Should we build Gnutella on a structured overlay? Computer Communication Review 34(1): 131-136 (2004)

Miguel Castro, Manuel Costa, Antony I. T. Rowstron: Performance and Dependability of Structured Peer-to-Peer Overlays. DSN 2004: 9-18

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

Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron: Defending against eclipse attacks on overlay networks. ACM SIGOPS European Workshop 2004: 21

Yolande Berbers, Miguel Castro (Eds.): Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004. ACM 2004

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (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: 103-107

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: 21-32

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

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

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

Miguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (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, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach: Secure Routing for Structured Peer-to-Peer Overlay Networks. OSDI 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: 140-145

Miguel Castro, Barbara Liskov: Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518

Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32

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

Rodrigo Rodrigues, Miguel Castro, Barbara Liskov: BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28

Isidoro García-Cruz, Miguel Castro, Annik Vivier-Bunge: DFT and MP2 molecular orbital determination of OH-toluene-O2 isomeric structures in the atmospheric oxidation of toluene. Journal of Computational Chemistry 21(9): 716-730 (2000)

Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288

Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya: Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257

Miguel Castro, Barbara Liskov: Practical Byzantine Fault Tolerance. OSDI 1999: 173-186

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

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115

Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes: Efficient and Flexible Object Sharing. ICPP, Vol. 1 1996: 128-137

Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro: Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI 1996: 59-73

Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan: Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10

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

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

Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127

Nuno Neves, Miguel Castro, Paulo Guedes: A Checkpoint Protocol for an Entry Consistent Shared Memory System. PODC 1994: 121-129

Paulo Guedes, Miguel Castro, Nuno Neves: The DiSOM Distributed Shared Object Memory. ACM SIGOPS European Workshop 1994: 138-140

Paulo Guedes, Miguel Castro: Distributed Shared Object Memory. Workshop on Workstation Operating Systems 1993: 142-149

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