Miguel Castro
Affiliations:- Microsoft Research, Cambridge, UK
- Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, USA (former)
According to our database1,
Miguel Castro
authored at least 61 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Computers, March, 2024
2023
CoRR, 2023
2022
Proceedings of the SC22: International Conference for High Performance Computing, 2022
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022
2021
2020
Proceedings of the 2020 International Conference on Management of Data, 2020
2019
Proceedings of the 2019 International Conference on Management of Data, 2019
2017
2015
No compromises: distributed transactions with consistency, availability, and performance.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
2014
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
2010
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.
Proceedings of the 18th USENIX Security Symposium, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
2008
ACM Trans. Comput. Syst., 2008
Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008
2007
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Proceedings of the 1st international workshop on Decentralized resource sharing in mobile computing and networking, 2006
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006
Proceedings of the 2006 ACM Conference on Emerging Network Experiment and Technology, 2006
2005
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005
2004
Proceedings of the 11st ACM SIGOPS European Workshop, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
IEEE Trans. Engineering Management, 2003
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003
Proceedings of the Group Communications and Charges; Technology and Business Models, 2003
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003
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.
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
Proceedings of the Future Directions in Distributed Computing, 2003
2002
ACM Trans. Comput. Syst., 2002
IEEE J. Sel. Areas Commun., 2002
One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
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.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002
2001
Proceedings of the Networked Group Communication, 2001
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000
1999
Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999
Proceedings of the ECOOP'99, 1999
1997
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997
1996
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996
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.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996
Type-Safe Heterogeneous Sharing can be Fast.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996
Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996
Proceedings of the 1996 International Conference on Parallel Processing, 1996
1994
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1993
MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel.
Proceedings of the USENIX MACH III Symposium, Santa Fe, New Mexico, USA, April 19-21, 1993, 1993