Professional Documents
Culture Documents
Anton Burtsev
University of Utah
School of Computing
50 S Central Campus Dr (room 3424)
Salt Lake City, Utah 84112
E-mail: anton.burtsev (at) utah (dot) edu
Vitae
Prospective students
Horizon: a new secure hypervisor and secure cloud in which users own their data.
Horizon is developed in Rust, and relies on novel techniques of hardware and
software isolation, and will implement cloud-wide information flow control (project
web page).
Research interests
Recent publications
Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan,
Trent Jaeger, and Anton Burtsev. KSplit: Automating Device Driver Isolation.. In
In 16th USENIX Symposium on Operating Systems Design and Implementation
(OSDI'22), July 2022. [PDF]
Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li, Vikram
Narayanan, Gerd Zellweger. Isolation in Rust: What is Missing?. In 11th
Workshop on Programming Languages and Operating Systems (PLOS'21),
October 2021. [PDF]
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]
https://users.cs.utah.edu/~aburtsev/ 2/7
9/24/23, 5:31 PM Anton Burtsev's Homepage
[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].
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].
Full list
Teaching
143A Principles of Operating Systems (Fall 2021, Fall 2020, Fall 2019, Fall
2018, Fall 2017, Winter 2017)
238P Operating Systems (Fall 2021, Spring 2020, Spring 2019, Fall 2018, Winter
2018)
https://users.cs.utah.edu/~aburtsev/ 3/7
9/24/23, 5:31 PM Anton Burtsev's Homepage
250P Computer Systems Architecture (Fall 2021, Spring 2021, Fall 2019,
Winter 2019)
Current research
implementing a part of the program logic. Redshift is a new operating system for
developing applications that leverage performance of a heterogeneous hardware-
accelerated system. At the core of Redshift is a dataflow programming model that
enables execution of commodity programs on a network of heterogeneous
hardware execution units with only minimal modifications. Redshift implements
programs as collections of asynchronous invocations that transparently move
execution between hardware functions. A novel runtime maps computations to
execution units, balances load among them, and scales the hardware graph of
computation in response to load.
NSF abstract
Secure and Oblivious Data Bases with secure computation and SGX We
collaborate with crypto and DB teams to develop novel data base architectures
that protect sensitive data through novel cryptographic primitives and secure
enclaves (Intel SGX).
NSF abstract
https://users.cs.utah.edu/~aburtsev/ 5/7
9/24/23, 5:31 PM Anton Burtsev's Homepage
Past projects
https://users.cs.utah.edu/~aburtsev/ 6/7
9/24/23, 5:31 PM Anton Burtsev's Homepage
Other interests
Skiing, tennis, biking, taking pictures, travel, music, time with family (a long list).
Updated: October, 2019
https://users.cs.utah.edu/~aburtsev/ 7/7