Anjali

About

I am a computer science PhD candidate at the University of Wisconsin, Madison in the SCAIL group, advised by Prof. Mike Swift. My research is broadly in Systems with a focus on isolation in Serverless Computing.

Publications

• Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui. VeriSMo: A Verified Security Module for Confidential VMs. USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2024.
  Jay Lepreau Best Paper Award
• Anjali, Rachee Singh, Michael M. Swift. Cost-effective and performant virtual WANs with CORNIFER. ArXiv 2024.
• Anjali, Tyler Caraza-Harter, Michael M. Swift. Blending Containers and Virtual Machines: A Study of Firecracker and gVisor. ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) 2020. video, slides.

Service & Teaching

• Head Teaching Assistant, CS537: Introduction to Operating Systems (UW-Madison, Spring 2023)
• Guest Lecture, CS736: Advanced Operating Systems (UW-Madison, Fall 2022)
  Lecture title: Lightweight Virtualization​
• Shadow PC, The European Conference on Computer Systems (EuroSys) 2022