Travelled to:1 × France
1 × Portugal
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Canada
9 × USA
Collaborated with:B.Liskov M.Costa A.Adya A.I.T.Rowstron J.Martin P.Druschel L.Shrira A.C.Myers L.Zhou L.Zhang T.L.Harris R.Rodrigues P.Akritidis M.Peinado P.Barham T.Kuchta C.Cadar J.Martin M.Hicks A.J.Ganesh D.S.Wallach A.Kermarrec A.Nandi A.Singh A.Dragojevic D.Narayanan E.B.Nightingale M.Renzelmann A.Shamis A.Badam J.Crowcroft A.Donnelly R.Black M.Day S.Ghemawat R.Gruber U.Maheshwari W.J.Bolosky G.Cermak R.Chaiken J.R.Douceur J.Howell J.R.Lorch M.Theimer R.Wattenhofer
Talks about:fault (4) distribut (3) softwar (3) system (3) toler (3) secur (3) recoveri (2) byzantin (2) persist (2) environ (2)
Person: Miguel Castro
DBLP: Castro:Miguel
Contributed to:
2015
2014
20102009
20082007
200620052003200220012000
199919991997
1996Wrote 17 papers:
- SOSP-2015-DragojevicNNRSB #consistency #distributed #performance #transaction
- No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
- ASE-2014-KuchtaCCC #automation #documentation #named #towards
- Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
- POPL-2010-MartinHCAC #c #c++ #concurrent #policy #source code
- Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
- SOSP-2009-CastroCMPADBB #fault #performance
- Fast byte-granularity software fault isolation (MC, MC, JPM, MP, PA, AD, PB, RB), pp. 45–58.
- ASPLOS-2008-CastroCM #debugging #privacy
- Better bug reporting with better privacy (MC, MC, JPM), pp. 319–328.
- SOSP-2007-CostaCZZP #named
- Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.
- OSDI-2006-CastroCH #data flow
- Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
- SOSP-2005-CostaCCRZZB #internet #named
- Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.
- SOSP-2003-CastroDKNRS #multi #named
- SplitStream: high-bandwidth multicast in cooperative environments (MC, PD, AMK, AN, AITR, AS), pp. 298–313.
- OSDI-2002-AdyaBCCCDHLTW #named #reliability
- FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.
- OSDI-2002-CastroDGRW #network #peer-to-peer
- Secure Routing for Structured Peer-to-Peer Overlay Networks (MC, PD, AJG, AITR, DSW), pp. 299–314.
- SOSP-2001-RodriguesCL #abstraction #fault tolerance #named #using
- BASE: Using Abstraction to Improve Fault Tolerance (RR, MC, BL), pp. 15–28.
- OSDI-2000-CastroL #fault tolerance
- Proactive Recovery in a Byzantine-Fault-Tolerant System (MC, BL), pp. 273–288.
- ECOOP-1999-LiskovCSA #distributed #persistent
- Providing Persistent Objects in Distributed Systems (BL, MC, LS, AA), pp. 230–257.
- OSDI-1999-CastroL #fault tolerance
- Practical Byzantine Fault Tolerance (MC, BL), pp. 173–186.
- SOSP-1997-CastroALM #adaptation #distributed #hybrid #named
- HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
- SIGMOD-1996-LiskovACDGGMMS #performance #persistent
- Safe and Efficient Sharing of Persistent Objects in Thor (BL, AA, MC, MD, SG, RG, UM, ACM, LS), pp. 318–329.