About

I am a Ph.D. candidate in the Computer Science department at Cornell University advised by Prof. Justin Hsu. Previously, I worked on software-defined networking as a software engineer at Microsoft for a year 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) toward my undergraduate thesis.

Research Focus

My dissertation research focus is to design provably correct runtime monitoring mechanisms for enforcing safety and security properties in systems with opaque behavior that cannot be statically verified. A central theme of this monitoring mechanism is that it is distributed, non-invasive, and treats the system as a blackbox. To demonstrate its practical impact, I've implemented the monitor for microservice applications. The class of safety properties enforceable by this framework naturally transfer to finance, healthcare, and cyber-physical systems.

Selected Publications

Full publication record can be found on dblp or Google scholar.

Talks

  • SafeTree: Expressive Tree Policies for Microservices
  • 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

Service

Currently, I am serving as a PLTea organizer and the Czar for the Cornell PL Discussion Group. I have also served on the artifact evaluation committee for POPL'{24, 25}.

News

Teaching

Contact

You can reach me at: [(λx.x @ cs.cornell.edu) kgrewal; LinkedIn; or GitHub.