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 × 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 DBLP: Krishnamurthy:Arvind

Contributed to:

SOSP 20152015
ICSE 20142014
OSDI 20142014
ICSE 20132013
SOSP 20112011
OSDI 20102010
OSDI 20062006
OSDI 20002000
ASPLOS 19961996
PLDI 19951995
OOPSLA 20162016
ASPLOS 20162016
ASPLOS 20172017

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

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.