About
I am a third year Ph.D. candidate in the Computer Science department at Cornell University advised by Prof. Justin Hsu. My current research focus is to apply techniques from programming languages and formal methods to distributed and networked systems with a focus on security.
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 undergad, 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).
- Formal Methods
- Programming Languages Theory
- Programmable Networks
- Distributed Systems
- Foundations of Security and Privacy
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).
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]
Teaching
- Spring'22 - CS5412: Topics in Cloud Computing, by Prof. Ken Birman
Contact
You can reach me at [(λx.x @ cs.cornell.edu) kgrewal]