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
- HotNets'23 - Expressive Policies for Microservice Networks with Brighten Godfrey and Justin Hsu. [slides]
- PLDI'22 - P4BID-Information Flow Control in P4 with Loris D'Antoni and Justin Hsu. [slides] [talk]
Talks
-
SafeTree: Expressive Tree Policies in 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
- Bloomberg NYC, Sep 2023
- PLDI'22
- Bellairs Network Verification Workshop, May 2022
News
- April 2024 I passed my A exam! Thanks to my advisor and collaborators---Justin, Brighten, and Loris!
- March 2024 I'll spend this summer as an Applied Scientist intern at Amazon Science's Automated Reasoning research group.
- February 2024 I'll be presenting "Expressive Policies for Microservice Networks" at UCSC's Languages, Systems, and Data Seminar .
- November 2023 I'll be presenting "Expressive Policies for Microservice Networks" at HotNets'23.
- October 2023 I'll be presenting "Expressive Policies for Microservice Networks" at UIUC Service Layer Networking Workshop.
- September 2023 "Expressive Policies for Microservice Networks" with Brighten Godfrey and Justin Hsu to appear at HotNets'23.
- May 2023 I will be organizing the PLTea social events at PLDI'23. Do join us!
- April 2023 I am joining the organizational team of PLTea --- meetup for programming languages enthusiasts.
- June 2022 I'll be presenting P4BID at PLDI in San Diego.
- May 2022 I'll be attending the Bellairs Network Verification Workshop.
- February 2022 P4BID-Information Flow Control in P4 got accepted to PLDI’22.
- September 2021 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]