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).