Anton's Picture

Irvine, California 92617-3435
E-mail: aburtsev (at) uci (dot) edu

I am an Assistant Adjunct Professor at the Department of Computer Science, University of California Irvine. I design, and build novel operating systems. My work spans a broad variety of topics from novel low-latency datacenters to secure and verified kernels.

I run Mars Research Group.

Group's reading group.

I am looking for students interested in operating systems at all levels from undergraduate to PhD, if you have relevant skills send me an email.

We are building three new operatings systems

Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev. RedLeaf: Isolation and Communication in a Safe Operating System. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI), November 2020. [PDF]
[Best paper award] Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, and Anton Burtsev Lightweight Kernel Isolation with Virtualization and VM Functions. In 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 20), March 2020. [PDF].
Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scott Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, and Anton Burtsev LXDs: Towards Isolation of Kernel Subsystems. In 2019 USENIX Annual Technical Conference (USENIX ATC 19), July 2019. [PDF].
Vikram Narayanan (University of California, Irvine), Marek S. Baranowski (University of Utah), Leonid Ryzhyk (VMware Research), Zvonimir Rakamarić (University of Utah), Anton Burtsev (University of California, Irvine). RedLeaf: Towards An Operating System for Safe and Verified Firmware. In 17th Workshop on Hot Topics in Operating Systems (HotOS), May 2019. [PDF].
Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus Van der Merwe. CapNet: Security and Least Authority in a Capability-Enabled Cloud. In 8th ACM Symposium on Cloud Computing (SoCC), September 2017. [PDF].
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk. System Programming in Rust: Beyond Safety. In 16th Workshop on Hot Topics in Operating Systems (HotOS), May 2017. [PDF].
Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr. Abstractions for Practical Virtual Machine Replay.. In Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'16), April 2016. [PDF].
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, and Anton Burtsev. Lightweight Capability Domains: Towards Decomposing the Linux Kernel.. In Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS 2015), October 2015. [PDF].
Anton Burtsev, Nikhil Mishrikoti, Eric Eide, and Robert Ricci. Weir: A Streaming Language for Performance Analysis. In Proceedings of the 7th Workshop on Programming Languages and Operating Systems (PLOS 2013), November 2013. [PDF].
Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Lakshmi N. Bairavasundaram, Kaladhar Voruganti, and Garth R. Goodson. Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances. In Proceedings of the 2009 USENIX Annual Technical Conference, San Diego, June 2009 [PDF] (Slides [PDF]).
Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, and Jay Lepreau. Transparent Checkpoints of Closed Distributed Systems in Emulab. In Proceedings of the Fourth ACM SIGOPS/EuroSys European Conference on Computer Systems, Nuremberg, Germany, April 2009 [PDF] (Slides [PDF]).

Updated: October, 2019