Travelled to:1 × Canada
1 × India
1 × Portugal
7 × USA
Collaborated with:T.E.Anderson I.Beschastnikh K.A.Yelick M.D.Ernst I.Zhang Y.Brun N.K.Sharma A.Kaufmann A.Szekeres H.M.Levy E.Torlak D.R.K.Ports S.Peter R.Y.Wang J.Li D.Woos L.Glendenning J.Abrahamson R.Geambasu A.A.Levy T.Kohno K.E.Schauser C.J.Scheiman D.E.Culler K.Weitz Z.Tatlock J.Bornholt X.W.0005 M.Liu Liang Luo J.Nelson L.Ceze Kishore Atreya D.V.Aken I.Ackerman S.D.Gribble H.V.Madhyastha T.Isdal M.Piatek C.Dixon A.Venkataramani X.Yu B.Gum Y.Chen K.Li T.Roscoe
Talks about:consist (3) system (3) distribut (2) parallel (2) scalabl (2) perform (2) network (2) plane (2) model (2) infer (2)
Person: Arvind Krishnamurthy
DBLP: Krishnamurthy:Arvind
Contributed to:
2015
2014
201420132011201020062000
1996
1995
201620162017Wrote 15 papers:
- SOSP-2015-ZhangSSKP #consistency #replication #transaction
- Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.
- ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
- Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
- OSDI-2014-PeterLZPWKAR #named #operating system
- Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
- OSDI-2014-ZhangSAAGKL #deployment #mobile
- Customizable and Extensible Deployment for Mobile/Cloud Applications (IZ, AS, DVA, IA, SDG, AK, HML), pp. 97–112.
- ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification
- Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
- SOSP-2011-GlendenningBKA #consistency #scalability
- Scalable consistency in Scatter (LG, IB, AK, TEA), pp. 15–28.
- OSDI-2010-GeambasuLKKL #distributed #named
- Comet: An active distributed key-value store (RG, AAL, TK, AK, HML), pp. 323–336.
- OSDI-2006-MadhyasthaIPDAKV #distributed #named
- iPlane: An Information Plane for Distributed Services (HVM, TI, MP, CD, TEA, AK, AV), pp. 367–380.
- OSDI-2000-YuGCWLKA #array #capacity #performance
- Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.
- ASPLOS-1996-KrishnamurthySSWCY #architecture #communication #evaluation #parallel #scalability
- Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines (AK, KES, CJS, RYW, DEC, KAY), pp. 37–48.
- PLDI-1995-KrishnamurthyY #optimisation #parallel #source code
- Optimizing Parallel Programs with Explicit Synchronization (AK, KAY), pp. 196–204.
- OOPSLA-2016-WeitzWTEKT #protocol #scalability #smt #verification
- Scalable verification of border gateway protocol configurations with an SMT solver (KW, DW, ET, MDE, AK, ZT), pp. 765–780.
- ASPLOS-2016-BornholtKLKTW #file system #modelling #specification
- Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
- ASPLOS-2016-KaufmannPSAK #performance
- High Performance Packet Processing with FlexNIC (AK, SP, NKS, TEA, AK), pp. 67–81.
- ASPLOS-2017-LiuLNCKA #named #towards
- IncBricks: Toward In-Network Computation with an In-Network Cache (ML, LL, JN, LC, AK, KA), pp. 795–809.