Anup Agarwal

Office: 9005 Gates & Hillman Centers, 5000 Forbes Avenue, Pittsburgh, PA 15213

Contact: anupa@andrew.cmu.edu

Hey, I’m Anup

I am a fifth year PhD Student in CSD at CMU advised by Prof. Srinivasan Seshan. I am broadly interested in systems and networking.

My latest research explores the use of automated reasoning tools (formal methods) to reason about the performance properties of computer systems, both (1) to design robust control algorithms, and (2) to prove fundamental tradeoffs between objective metrics (see the CCmatic [NSDI24] line of work for more details). In the past I have explored a wide variety of topics in systems/networking including programmable networks, performance modeling, measurement, and resource management.

Previously, I completed my undergraduate degree (B.Tech.) from Indian Institute of Technology Guwahati (IITG). Outside of work, I enjoy climbing, hiking, skiing, playing the violin, badminton/tennis.

Selected Publications

    1. Towards provably performant congestion control
      Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, and Srinivasan Seshan 
      @inproceedings{ccmatic-nsdi,
  author = {Agarwal, Anup and Arun, Venkat and Ray, Devdeep and Martins, Ruben and Seshan, Srinivasan},
  title = {Towards provably performant congestion control},
  booktitle = {21st {USENIX} Symposium on Networked Systems Design and
                  Implementation ({NSDI} 24)},
  year = {2024},
  address = {Santa Clara, CA},
  conference = {USENIX NSDI},
  month = apr,
  publisher = {{USENIX} Association},
  url = {https://www.usenix.org/conference/nsdi24/presentation/agarwal-anup},
  code = {https://github.com/108anup/ccmatic}
}
    2. Unlocking unallocated cloud capacity for long, uninterruptible workloads
      Anup Agarwal, Shadi Noghabi, Inigo Goiri, Srinivasan Seshan, and Anirudh Badam
      • USENIX NSDI, 2023 — 
      • [cite]
      • [pdf]
      @inproceedings{slacksched,
  author = {Agarwal, Anup and Noghabi, Shadi and Goiri, Inigo and Seshan, Srinivasan and Badam, Anirudh},
  title = {Unlocking unallocated cloud capacity for long, uninterruptible workloads},
  booktitle = {20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)},
  year = {2023},
  isbn = {978-1-939133-33-5},
  address = {Boston, MA},
  pages = {457--478},
  url = {https://www.usenix.org/conference/nsdi23/presentation/agarwal-anup},
  publisher = {USENIX Association},
  month = apr,
  conference = {USENIX NSDI}
}
    3. Automating network heuristic design and analysis
      Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, and Srinivasan Seshan 
      @inproceedings{ccmatic,
  author = {Agarwal, Anup and Arun, Venkat and Ray, Devdeep and Martins, Ruben and Seshan, Srinivasan},
  title = {Automating network heuristic design and analysis},
  year = {2022},
  isbn = {9781450398992},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3563766.3564085},
  doi = {10.1145/3563766.3564085},
  booktitle = {Proceedings of the 21st ACM Workshop on Hot Topics in Networks},
  pages = {8–16},
  numpages = {9},
  keywords = {automated reasoning, congestion control},
  location = {Austin, Texas},
  series = {HotNets '22},
  conference = {HotNets}
}
    4. HeteroSketch: Coordinating Network-wide Monitoring in Hetero-geneous and Dynamic Networks
      Anup Agarwal, Zaoxing Liu, and Srinivasan Seshan 
      @inproceedings{heterosketch,
  author = {Agarwal, Anup and Liu, Zaoxing and Seshan, Srinivasan},
  title = {HeteroSketch: Coordinating Network-wide Monitoring in
                  Hetero-geneous and Dynamic Networks},
  booktitle = {19th {USENIX} Symposium on Networked Systems Design and
                  Implementation ({NSDI} 22)},
  year = {2022},
  url = {https://www.usenix.org/conference/nsdi22/presentation/agarwal},
  address = {Renton, WA},
  conference = {USENIX NSDI},
  month = apr,
  publisher = {{USENIX} Association},
  code = {https://github.com/108anup/NetMon-query-planner}
}
    5. Redesigning Data Centers for Renewable Energy
      Anup Agarwal, Jinghan Sun, Shadi Noghabi, Srinivasan Iyengar, Anirudh Badam, Ranveer Chandra, Srinivasan Seshan, and Shivkumar Kalyanaraman
      • HotNets, 2021 — 
      • [cite]
      @inproceedings{vb,
  author = {Agarwal, Anup and Sun, Jinghan and Noghabi, Shadi and Iyengar, Srinivasan and Badam, Anirudh and Chandra, Ranveer and Seshan, Srinivasan and Kalyanaraman, Shivkumar},
  title = {Redesigning Data Centers for Renewable Energy},
  booktitle = {Proceedings of the Twentieth ACM Workshop on Hot Topics in
                  Networks},
  year = {2021},
  pages = {45-52},
  doi = {10.1145/3484266.3487394},
  url = {https://doi.org/10.1145/3484266.3487394},
  address = {New York, NY, USA},
  isbn = {9781450390873},
  location = {Virtual Event, United Kingdom},
  numpages = {8},
  publisher = {Association for Computing Machinery},
  series = {HotNets '21},
  conference = {HotNets}
}
    6. ABC: A Simple Explicit Congestion Controller for Wireless Networks
      Prateesh Goyal, Anup Agarwal, Ravi Netravali, Mohammad Alizadeh, and Hari Balakrishnan
      • USENIX NSDI, 2020 — 
      • [cite]
      @inproceedings{abc,
  author = {Goyal, Prateesh and Agarwal, Anup and Netravali, Ravi and Alizadeh, Mohammad and Balakrishnan, Hari},
  title = {{ABC}: A Simple Explicit Congestion Controller for Wireless
                  Networks },
  booktitle = {17th {USENIX} Symposium on Networked Systems Design and
                  Implementation ({NSDI} 20)},
  year = {2020},
  pages = {353--372},
  url = {https://www.usenix.org/conference/nsdi20/presentation/goyal},
  address = {Santa Clara, CA},
  conference = {USENIX NSDI},
  isbn = {978-1-939133-13-7},
  month = feb,
  publisher = {{USENIX} Association}
}