Anjali

About

I am a Postdoctoral Research Fellow at Systopia Lab, University of British Columbia, working with Prof. Margo Seltzer. I completed my PhD in Computer Sciences at the University of Wisconsin, Madison in the SCAIL group, advised by Prof. Mike Swift. My dissertation focused on measuring and quantifying the isolation provided by modern lightweight virtualization platforms.

Publications

• The Kernel Always Knows: Understanding Isolation via Kernel Objects. To appear in the Proceedings of the ACM Symposium on Cloud Computing (SoCC 2026). Anjali and Michael M. Swift. paper
• VeriSMo: A Verified Security Module for Confidential VMs. Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui. USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2024.
  Jay Lepreau Best Paper Award
• Cost-effective and performant virtual WANs with CORNIFER. Anjali, Rachee Singh, Michael M. Swift. arXiv 2024.
• Blending Containers and Virtual Machines: A Study of Firecracker and gVisor. Anjali, Tyler Caraza-Harter, Michael M. Swift. ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) 2020. paper, video, slides.

Workshop Paper

• Isolation in the Age of Agents. Anjali and Michael M. Swift. The 2nd Workshop on Operating Systems Design for AI Agents (AgenticOS ‘26), co-located with SOSP 2026. paper.

PhD Dissertation

• Isolation as a Quantifiable Resource in Modern Lightweight Virtualization. Anjali. University of Wisconsin–Madison Ph.D. dissertation, August 2026.

Service & Teaching

• EuroSys 2025 Artifact Evaluation Committee
• 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 Program Committee, The European Conference on Computer Systems (EuroSys) 2022