About

I am a Ph.D. candidate in the Computer Science department at Cornell University advised by Prof. Justin Hsu. My current research focus is on automata-theoretic foundations for dynamic enforcement of hierarchical safety policies in microservices.

Currently, I am serving as a PLTea organizer and the Czar for the Cornell PL Discussion Group.

Previously, I worked on software-defined networking as a software engineer at Microsoft and prior to that, I was an undergraduate student at BITS Pilani, India. During my undergrad, I had the pleasure to spend a semester at the Max Planck Institute for Software Systems in Germany working with Dr. Bjoern Brandenburg on a theory-oriented real-time operating system (TOROS).

Publications

OOPSLA'25

SafeTree: Expressive Tree Policies for Microservices

Karuna Grewal, Brighten Godfrey, Justin Hsu
HotNets'23

Expressive Policies for Microservice Networks [slides]

Karuna Grewal, Brighten Godfrey, Justin Hsu
PLDI'22

P4BID-Information Flow Control in P4 [slides] [talk]

Karuna Grewal, Loris D'Antoni, Justin Hsu

Talks

SafeTree: Expressive Tree Policies for Microservices
- UIUC Formal Methods Seminar, Apr 2025
- New Jersey Programming Languages and Systems Seminar, Dec 2024
Expressive Policies for Microservice Networks
- UCSC Languages, Systems, and Data Seminar, Mar 2024
- HotNets'23
- UIUC Service Layer Networking Workshop, Oct 2023
P4BID: Information Flow Control in P4
- Bloomberg NYC, Sep 2023
- PLDI'22
- Bellairs Network Verification Workshop, May 2022

News

Aug'25

"SafeTree: Expressive Tree Policies for Microservices" has been accepted to OOPSLA'25.
This paper highlights the central theme of my dissertation research!!
Apr'24

I passed my A exam! Thanks to my advisor and collaborators---Justin, Brighten, and Loris!
Mar'24

I'll spend this summer as an Applied Scientist intern at Amazon Science's Automated Reasoning research group.
Feb'24

I'll be presenting "Expressive Policies for Microservice Networks" at UCSC's Languages, Systems, and Data Seminar.
Nov'23

I'll be presenting "Expressive Policies for Microservice Networks" at HotNets'23.
Oct'23

I'll be presenting "Expressive Policies for Microservice Networks" at UIUC Service Layer Networking Workshop.
Sep'23

"Expressive Policies for Microservice Networks" with Brighten Godfrey and Justin Hsu to appear at HotNets'23.
May'23

I will be organizing the PLTea social events at PLDI'23. Do join us!
Apr'23

I am joining the organizational team of PLTea --- meetup for programming languages enthusiasts.
Jun'22

I'll be presenting P4BID at PLDI in San Diego.
May'22

I'll be attending the Bellairs Network Verification Workshop.
Feb'22

P4BID: Information Flow Control in P4 got accepted to PLDI’22.
Sep'21

I started my Ph.D. at Cornell (advised by Prof. Justin Hsu).

Teaching

Spring'22 - CS5412: Topics in Cloud Computing, by Prof. Ken Birman

Contact

You can reach me at [(λx.x @ cs.cornell.edu) kgrewal]