Anjali
UW-Madison CS PhD student, Systems Researcher
About
I am a computer science PhD student 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. To appear in OSDI 2024.
- 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. 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