Manuel Costa
SENIOR RESEARCHER
.
Microsoft Research
7 J J Thomson Avenue
Cambridge, CB3 0FB, UK.
Tel: +44 1223 479740
Fax: +44 1223 479999
I'm a member of the Cambridge Systems & Networking group. I'm interested in scalable and reliable systems and networks.
Publications
- Jean-Philippe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, and Miguel Castro, Dynamically Checking Ownership Policies in Concurrent C/C++ Programs, in 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010
- Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, and Richard Black, Fast Byte-Granularity Software Fault Isolation, in ACM Symposium on Operating Systems Principles (SOSP), Association for Computing Machinery, Inc., October 2009
- Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand, Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors, in 18th USENIX Security Symposium (USENIX Security '09), USENIX, 10 August 2009
- Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, Vigilante: End-to-End Containment of Internet Worm Epidemics, in ACM Transactions on Computer Systems, December 2008
- Cristian Cadar, Periklis Akritidis, Manuel Costa, Jean-Philippe Martin, and Miguel Castro, Data Randomization, no. MSR-TR-2008-120, September 2008
- Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, and Miguel Castro, Preventing memory error exploits with WIT, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE, May 2008
- Miguel Castro, Manuel Costa, and Jean-Philippe Martin, Better bug reporting with better privacy, in Proceedings of the 13th international conference on Architectural support for programming languages and operating systems, ACM Press, March 2008
- Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, and Marcus Peinado, Bouncer: securing software by blocking bad input, in ACM Symposium on Operating Systems Principles (SOSP), Association for Computing Machinery, Inc., Stevenson, Washington, USA, October 2007
- Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, and Marcus Peinado, Bouncer: securing software by blocking bad input, in ACM Symposium on Operating Systems Principles (SOSP), Association for Computing Machinery, Inc., October 2007
- Miguel Castro, Manuel Costa, and Tim Harris, Securing software by enforcing data-flow integrity, in Symposium on Operating Systems Design and Implementation (OSDI), USENIX, November 2006
- Manuel Costa, End-to-End Containment of Internet Worm Epidemics, October 2006
- Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, Stopping Internet Epidemics, in Proceedings of the International Zurich Seminar on Communications (IZS'06), February 2006
- Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, Vigilante: End-to-End Containment of Internet Worms, in ACM Symposium on Operating Systems Principles (SOSP), ACM Press, Birghton, UK, October 2005
- Miguel Castro, Manuel Costa, and Antony Rowstron, Debunking some myths about structured and unstructured overlays, in Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05), May 2005
- Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, and Steve Chien, A First Look at Peer-to-Peer Worms: Threats and Defenses, in 4th International Workshop on Peer-To-Peer Systems (IPTPS '05), Ithaca, New York, USA, February 2005
- Manuel Costa, Jon Crowcroft, Miguel castro, and Antony Rowstron, Can we contain Internet worms?, in Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III), Association for Computing Machinery, Inc., November 2004
- Manuel Costa, Jon Crowcroft, Miguel Castro, and Antony Rowstron, Can we contain Internet worms?, no. MSR-TR-2004-83, August 2004
- Miguel Castro, Manuel Costa, and Antony Rowstron, Peer-to-peer overlays: structured, unstructured, or both?, no. MSR-TR-2004-73, July 2004
- Miguel Castro, Manuel Costa, and Antony Rowstron, Performance and Dependability of structured peer-to-peer overlays, in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004), June 2004
- Manuel Costa, Miguel Castro, Antony Rowstron, and Peter Key, PIC: Practical Internet Coordinates for Distance Estimation, in Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04), March 2004
- Miguel Castro, Manuel Costa, and Antony Rowstron, Should we build Gnutella on a structured overlay?, in Proceedings of the Second Workshop on Hot Topics in Networks (HotNets-II), November 2003
- Manuel Costa and Paulo Guedes, Two-Level Recovery For Distributed Shared Memory, in Proceedings of the European Research Seminar on Advances in Distributed Systems (ERSADS'97), March 1997
- Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, and Miguel Castro, Lightweight Logging for Lazy Release Consistent Distributed Shared Memory, in Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96), October 1996
- Miguel Castro, Paulo Guedes, Manuel Sequeira, and Manuel Costa, Efficient and Flexible Object Sharing, in Proceedings of the International Conference on Parallel Processing (ICPP'96), August 1996
