Rishabh Iyer

I am a postdoctoral researcher working with Sylvia Ratnasamy and Scott Shenker at UC Berkeley. I completed my PhD at EPFL, under the supervision of George Candea and Katerina Argyraki. Prior to joining EPFL, I received a bachelors from IIT Bombay.

I am a computer systems researcher (broadly construed), and most of my work lies at the intersection of systems, networking, hardware and formal verification. My current research focuses on developing techniques that enable developers to reason precisely about the expected performance of their systems before they are deployed. My dissertation introduced the notion of performance interfaces—simple, succinct programs that summarize a system’s performance behavior just like semantic interfaces such as code documentation and specifications summarize functionality—and was awarded the ACM SIGOPS Dennis M. Ritchie Award, the Eurosys Roger Needham PhD Award, and the Dimitris N. Chorafas Award.

Here is my CV (updated Aug 2024).

I am on the academic job market for 2024–2025. Please reach out if you’re hiring!

Selected Publications

Fast, Flexible, and Practical Kernel Extensions
Kumar Kartikeya Dwivedi, Rishabh Iyer, Sanidhya Kashyap.
SOSP 2024.
Also accepted to the Linux Plumbers Conference 2024.
[slides] [code]

Automatically Reasoning About How Systems Code Uses the CPU Cache
Rishabh Iyer, Katerina Argyraki, George Candea.
OSDI 2024.
Also accepted to the Linux Plumbers Conference 2024.
[slides] [talk video]

Performance Interfaces for Hardware Accelerators
Jiacheng Ma, Rishabh Iyer, Sahand Kashani, Mahyar Emami, Thomas Bourgeat, George Candea.
OSDI 2024.
[slides] [code] [talk video]

Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling
Rishabh Iyer, Musa Unal, Marios Kogias, George Candea.
SOSP 2023.
[slides] [code] [talk video]

Performance Interfaces for Network Functions
Rishabh Iyer, Katerina Argyraki, George Candea.
NSDI 2022.
[slides] [talk video] [code]

Performance Contracts for Software Network Functions
Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, George Candea.
NSDI 2019.
[slides] [talk video] [code] [website]

Additional Publications

The Case for Validating Inputs in Software-Defined WANs
Alexander Krentsel, Rishabh Iyer, Isaac Keslassy, Sylvia Ratnasamy, Anees Shaikh, Rob Shakir.
HotNets 2024.

Revisiting Cache Freshness for Emerging Real-Time Applications
Ziming Mao, Rishabh Iyer, Scott Shenker, Ion Stoica.
HotNets 2024.

If Layering Is Useful, Why Not Sublayering?
Rathin Singha, Rishabh Iyer, Charles Liu, Caleb Terrill, Todd Millstein, Scott Shenker, George Varghese.
HotNets 2024.

The Case for Performance Interfaces for Hardware Accelerators
Rishabh Iyer, Jiacheng Ma, Katerina Argyraki, George Candea, Sylvia Ratnasamy.
HotOS 2023.
[slides]

Bypassing the Load Balancer Without Regrets
Marios Kogias, Rishabh Iyer, Edouard Bugnion.
SOCC 2020.
[talk video] [code]

Verifying Software Network Functions with No Verification Expertise
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, George Candea.
SOSP 2019.
[slides] [talk video] [code] [website]

Performance Modelling and Dynamic Scheduling for Heterogeneous-ISA Multi-Core Architectures
Nirmal Boran, Dinesh Yadav, Rishabh Iyer.
VDAT 2019.
Awarded Best Paper.
[slides]

Automated Synthesis of Adversarial Workloads for Network Functions
Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina Argyraki.
SIGCOMM 2018.
[slides] [talk video] [code] [website]