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
4 × USA
Collaborated with:
R.Beckett D.Walker J.Padhye A.J.B.Brush L.Ravindranath B.Lee S.Agarwal J.Jung F.Martinez H.Balakrishnan N.T.Spring D.Wetherall T.E.Anderson N.Giannarakis A.Gupta S.Amershi A.Kapoor B.Christian T.D.Millstein I.Obermiller S.Shayandeh S.Saroiu C.Dixon
Talks about:
network (4) abstract (2) control (2) mobil (2) wild (2) user (2) guid (2) app (2) counterexampl (1) neighborhood (1)

Person: Ratul Mahajan

DBLP DBLP: Mahajan:Ratul

Contributed to:

CSCW 20132013
SOSP 20132013
OSDI 20122012
CHI 20112011
SOSP 20032003
CAV (2) 20192019
PLDI 20172017
POPL 20202020

Wrote 9 papers:

Digital neighborhood watch: investigating the sharing of camera data amongst neighbors (AJBB, JJ, RM, FM), pp. 693–700.
SOSP-2013-RavindranathPMB #mobile #named
Timecard: controlling user-perceived delays in server-based mobile applications (LR, JP, RM, HB), pp. 85–100.
OSDI-2012-RavindranathPAMOS #mobile #monitoring #named #performance
AppInsight: Mobile App Performance Monitoring in the Wild (LR, JP, SA, RM, IO, SS), pp. 107–120.
CHI-2011-AmershiLKMC #named #network #performance
CueT: human-guided fast and accurate network alarm triage (SA, BL, AK, RM, BC), pp. 157–166.
CHI-2011-BrushLMASD #automation #challenge
Home automation in the wild: challenges and opportunities (AJBB, BL, RM, SA, SS, CD), pp. 2115–2124.
SOSP-2003-MahajanSWA #internet
User-level internet path diagnosis (RM, NTS, DW, TEA), pp. 106–119.
CAV-2019-GiannarakisBMW #fault tolerance #network #performance #refinement #verification
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement (NG, RB, RM, DW), pp. 305–323.
PLDI-2017-BeckettMMPW #network #synthesis
Network configuration synthesis with abstract topologies (RB, RM, TDM, JP, DW), pp. 437–451.
POPL-2020-BeckettGMW #abstract interpretation #distributed #network
Abstract interpretation of distributed network control planes (RB, AG, RM, DW), p. 27.

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.