Travelled to:5 × USA
Collaborated with:L.Alvisi Y.Wang A.Clement C.Xie C.Su M.Dahlin C.Littley V.Quéma M.Dahlin N.Yaghmazadeh P.Mahajan S.Lee T.Riche H.C.Li M.Marchetti L.Robison C.Hawblitzel J.Howell J.R.Lorch B.Parno M.L.Roberts S.T.V.Setty B.Zill
Talks about:distribut (2) servic (2) acid (2) upright (1) practic (1) perform (1) modular (1) databas (1) correct (1) control (1)
Person: Manos Kapritsos
DBLP: Kapritsos:Manos
Contributed to:
2015
2014201220092008Wrote 6 papers:
- SOSP-2015-HawblitzelHKLPR #distributed #named #proving
- IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
- SOSP-2015-XieSLAK0 #composition #concurrent
- High-performance ACID via modular concurrency control (CX, CS, CL, LA, MK, YW), pp. 279–294.
- OSDI-2014-XieSK0YAM #database #distributed #named
- Salt: Combining ACID and BASE in a Distributed Database (CX, CS, MK, YW, NY, LA, PM), pp. 495–509.
- OSDI-2012-Kapritsos0QCAD #all about #manycore #replication
- All about Eve: Execute-Verify Replication for Multi-Core Servers (MK, YW, VQ, AC, LA, MD), pp. 237–250.
- SOSP-2009-ClementKLWADR #clustering
- Upright cluster services (AC, MK, SL, YW, LA, MD, TR), pp. 277–290.
- OSDI-2008-LiCMKRAD #named
- FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.