2010 | ||
---|---|---|
52 | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro: Dynamically checking ownership policies in concurrent c/c++ programs. POPL 2010: 457-470 | |
2009 | ||
51 | 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 | |
2008 | ||
50 | Miguel Castro, Manuel Costa, Jean-Philippe Martin: Better bug reporting with better privacy. ASPLOS 2008: 319-328 | |
49 | 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 | |
48 | 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 | |
47 | 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) | |
2007 | ||
46 | Miguel Castro, John Wilkes: Third Workshop on Hot Topics in System Dependability HotDep'07. DSN 2007: 804 | |
45 | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado: Bouncer: securing software by blocking bad input. SOSP 2007: 117-130 | |
2006 | ||
44 | Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron: Network coding with traffic engineering. CoNEXT 2006: 40 | |
43 | Landon P. Cox, Miguel Castro, Antony I. T. Rowstron: POS: A Practical Order Statistics Service forWireless Sensor Networks. ICDCS 2006: 52 | |
42 | Miguel Castro, Manuel Costa, Timothy L. Harris: Securing Software by Enforcing Data-flow Integrity. OSDI 2006: 147-160 | |
41 | 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 | ||
40 | Miguel Castro, Robbert van Renesse: Peer-to-Peer Systems IV, 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers Springer 2005 | |
39 | José Alí Moreno, Miguel Castro: Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net. EPIA 2005: 447-454 | |
38 | Miguel Castro, Manuel Costa, Antony I. T. Rowstron: Debunking Some Myths About Structured and Unstructured Overlays. NSDI 2005 | |
37 | 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 | ||
36 | Yolande Berbers, Miguel Castro: Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004 ACM 2004 | |
35 | Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron: Defending against eclipse attacks on overlay networks. ACM SIGOPS European Workshop 2004: 21 | |
34 | Miguel Castro, Manuel Costa, Antony I. T. Rowstron: Performance and Dependability of Structured Peer-to-Peer Overlays. DSN 2004: 9-18 | |
33 | Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key: PIC: Practical Internet Coordinates for Distance Estimation. ICDCS 2004: 178-187 | |
32 | Miguel Castro, Manuel Costa, Antony I. T. Rowstron: Should we build Gnutella on a structured overlay? Computer Communication Review 34(1): 131-136 (2004) | |
2003 | ||
31 | 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 | |
30 | 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 | |
29 | Ratul Mahajan, Miguel Castro, Antony I. T. Rowstron: Controlling the Cost of Reliability in Peer-to-Peer Overlays. IPTPS 2003: 21-32 | |
28 | 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 | |
27 | 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 | |
26 | 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 | |
25 | Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst. 21(3): 236-269 (2003) | |
2002 | ||
24 | 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 | |
23 | 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 | |
22 | 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 | |
21 | Miguel Castro, Barbara Liskov: Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst. 20(4): 398-461 (2002) | |
2001 | ||
20 | Miguel Castro, Barbara Liskov: Byzantine Fault Tolerance Can Be Fast. DSN 2001: 513-518 | |
19 | Miguel Castro, Rodrigo Rodrigues, Barbara Liskov: Using Abstraction To Improve Fault Tolerance. HotOS 2001: 27-32 | |
18 | 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 | |
17 | Rodrigo Rodrigues, Miguel Castro, Barbara Liskov: BASE: Using Abstraction to Improve Fault Tolerance. SOSP 2001: 15-28 | |
2000 | ||
16 | Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. OSDI 2000: 273-288 | |
15 | 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) | |
1999 | ||
14 | Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya: Providing Persistent Objects in Distributed Systems. ECOOP 1999: 230-257 | |
13 | Miguel Castro, Barbara Liskov: Practical Byzantine Fault Tolerance. OSDI 1999: 173-186 | |
1997 | ||
12 | Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira: Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. ICDCS 1997: 0- | |
11 | Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers: HAC: Hybrid Adaptive Caching for Distributed Storage Systems. SOSP 1997: 102-115 | |
1996 | ||
10 | Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: How to scale transactional storage systems. ACM SIGOPS European Workshop 1996: 121-127 | |
9 | Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes: Efficient and Flexible Object Sharing. ICPP, Vol. 1 1996: 128-137 | |
8 | Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro: Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI 1996: 59-73 | |
7 | Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan: Type-Safe Heterogeneous Sharing can be Fast. POS 1996: 1-10 | |
6 | Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya: Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems. POS 1996: 128-139 | |
5 | 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 | |
1994 | ||
4 | Paulo Guedes, Miguel Castro, Nuno Neves: The DiSOM Distributed Shared Object Memory. ACM SIGOPS European Workshop 1994: 138-140 | |
3 | Nuno Neves, Miguel Castro, Paulo Guedes: A Checkpoint Protocol for an Entry Consistent Shared Memory System. PODC 1994: 121-129 | |
1993 | ||
2 | Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Sousa: MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. USENIX MACH Symposium 1993: 253-272 | |
1 | Paulo Guedes, Miguel Castro: Distributed Shared Object Memory. Workshop on Workstation Operating Systems 1993: 142-149 |