BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Castro:Miguel

Contributed to:

SOSP 20152015
ASE 20142014
POPL 20102010
SOSP 20092009
ASPLOS 20082008
SOSP 20072007
OSDI 20062006
SOSP 20052005
SOSP 20032003
OSDI 20022002
SOSP 20012001
OSDI 20002000
ECOOP 19991999
OSDI 19991999
SOSP 19971997
SIGMOD 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.