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: Mahajan:Ratul
Contributed to:
2013
2013
2012
20112003
2019
2017
2020Wrote 9 papers:
- CSCW-2013-BrushJMM
- 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.