Anton Burtsev's Homepage

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]

Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev. Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. 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]

[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. : Towards Isolation of Kernel Subsystems

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]).

Anton Burtsev, Eric Eide, John Regehr. A Replay-based Approach to Performance Analysis, 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10) October, 2010 Vancouver, BC, Canada. Abstract [PDF], poster [PDF]

Anton Burtsev, Eric Eide, Mike Hibler, John Regehr. Benchmarks Can Make Sense, School of Computing Poster Competition March, 2010, Salt Lake City, Utah, USA. Poster [PDF]

Anton Burtsev, John Regehr. Operating Systems as Parallel Pipelines, School of Computing Poster Competition March, 2009, Salt Lake City, Utah, USA. Abstract [PDF], poster [PDF]

Anton Burtsev, Mike Hibler, Jay Lepreau. Aggressive Server Consolidation through Pageable Virtual Machines, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08) December, 2008 San Diego, CA, USA. Abstract [PDF], poster [PDF]

Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau. True Time-Sharing in Emulab through Preemption and Stateful Swapout, 4rd Symposium on Networked Systems Design and Implementation, Cambridge, May 2007. Abstract [PDF], poster [PDF]

Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau. Time Travel for Closed Distributed Systems, 3rd Symposium on Networked Systems Design and Implementation, San Jose, May 2006. Abstract [PDF], poster [PDF]

Anton Burtsev, David Johnson, Chung Hwan Kim, Mike Hibler, Eric Eide, John Regehr. XenTT: Deterministic Systems Analysis in Xen, XenSummit North America August, 2012 San Diego, CA, USA. [Abstract and slides]

Anton Burtsev. Manycores: Challenges for OS. Given at the Multi-Core Discussion Colloquium, School of Computing, University of Utah, October 2007. [PDF]

Implementation of µITRON Embedded Operating System Specification on top of L4 Microkernel. Given at DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, November 2004. [PDF]

The E1 Distributed Operating System Project. Given together with Leonid Ryzhyk at DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, October 2004. [PDF]

Anton Burtsev, Prashanth Radhakrishnan. Time-Travel for Closed Distributed Systems. Informal report, Flux Research Group, University of Utah, May 2006 [PDF]

Implementation of µITRON Embedded Operating System Specification on top of L4 Microkernel. Informal report paper for DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, November 2004. [PDF]

Anton Burtsev. Deterministic Systems Analysis. Ph.D. Thesis. University of Utah, 2013. [PDF].

Anton Burtsev (in co-authorship with Leonid Ryzhyk). Distributed operating system architecture based on distributed shared objects. M.Sc. thesis, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2002 [Abstract: PDF].

Anton Burtsev (in co-authorship with Leonid Ryzhyk). Intelligent software agents. B.Sc. thesis, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2000.

A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Automatic object serialization mechanism for a distributed component model. Proc. 4rd International Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, 2004.

L.B. Ryzhyk, A.Y. Burtsev. Architectural design of E1 distributed operating system, to appear in System Research and Information Technologies international scientific and technical journal, October 2004.

L.B. Ryzhyk, A.Y. Burtsev. Architectural design of E1 distributed operating system. [PDF], 2003.

A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Operating system for parallel distributed computing. Proc. 1st International Radio-Electronics Forum "Applied Radio-Electronics. State and Future Trends", Kharkiv, Ukraine, 2002.

A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Operating system architecture based on distributed objects. Scientific bulletin of NTUU "KPI", № 4, pp.5-12, 2002 [PDF].

A.Y. Burtsev, L.B. Ryzhyk. Operating system architecture with process migration support. Proc. 3rd International Conference on Programming "UkrProg2002", Kyiv, Ukraine, pp.516-521, 2002 [Abstract: PDF].

A.Y. Burtsev, L.B. Ryzhyk. Operating system for parallel computing. Proc. 3rd International Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, pp.23-27, 2001 [Conference Theses: PDF].

A.Y. Burtsev, L.B. Ryzhyk. Agent-oriented approach to software development. Proc. 2nd National Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, pp.130-134, 2000 [Abstract: PDF].


Home
Publications 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] Zhaofeng Li, Tianjiao Huang, Vikram Narayanan, Anton Burtsev. Understanding the Overheads of Hardware and Language-Based IPC Mechanisms. 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] [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. : Towards Isolation of Kernel Subsystems 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]). Posters Anton Burtsev, Eric Eide, John Regehr. A Replay-based Approach to Performance Analysis, 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10) October, 2010 Vancouver, BC, Canada. Abstract [PDF], poster [PDF] Anton Burtsev, Eric Eide, Mike Hibler, John Regehr. Benchmarks Can Make Sense, School of Computing Poster Competition March, 2010, Salt Lake City, Utah, USA. Poster [PDF] Anton Burtsev, John Regehr. Operating Systems as Parallel Pipelines, School of Computing Poster Competition March, 2009, Salt Lake City, Utah, USA. Abstract [PDF], poster [PDF] Anton Burtsev, Mike Hibler, Jay Lepreau. Aggressive Server Consolidation through Pageable Virtual Machines, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08) December, 2008 San Diego, CA, USA. Abstract [PDF], poster [PDF] Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau. True Time-Sharing in Emulab through Preemption and Stateful Swapout, 4rd Symposium on Networked Systems Design and Implementation, Cambridge, May 2007. Abstract [PDF], poster [PDF] Anton Burtsev, Prashanth Radhakrishnan, Mike Hibler, Jay Lepreau. Time Travel for Closed Distributed Systems, 3rd Symposium on Networked Systems Design and Implementation, San Jose, May 2006. Abstract [PDF], poster [PDF] Talks and Presentations Anton Burtsev, David Johnson, Chung Hwan Kim, Mike Hibler, Eric Eide, John Regehr. XenTT: Deterministic Systems Analysis in Xen, XenSummit North America August, 2012 San Diego, CA, USA. [Abstract and slides] Anton Burtsev. Manycores: Challenges for OS. Given at the Multi-Core Discussion Colloquium, School of Computing, University of Utah, October 2007. [PDF] Implementation of µITRON Embedded Operating System Specification on top of L4 Microkernel. Given at DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, November 2004. [PDF] The E1 Distributed Operating System Project. Given together with Leonid Ryzhyk at DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, October 2004. [PDF] Reports Anton Burtsev, Prashanth Radhakrishnan. Time-Travel for Closed Distributed Systems. Informal report, Flux Research Group, University of Utah, May 2006 [PDF] Implementation of µITRON Embedded Operating System Specification on top of L4 Microkernel. Informal report paper for DiSy: Operating Systems, Embedded and Distributed Systems Research Group, University of New South Wales, Sydney, Australia, November 2004. [PDF] Theses Anton Burtsev. Deterministic Systems Analysis. Ph.D. Thesis. University of Utah, 2013. [PDF]. Anton Burtsev (in co-authorship with Leonid Ryzhyk). Distributed operating system architecture based on distributed shared objects. M.Sc. thesis, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2002 [Abstract: PDF]. Anton Burtsev (in co-authorship with Leonid Ryzhyk). Intelligent software agents. B.Sc. thesis, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2000. Work done in Ukraine A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Automatic object serialization mechanism for a distributed component model. Proc. 4rd International Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, 2004. L.B. Ryzhyk, A.Y. Burtsev. Architectural design of E1 distributed operating system, to appear in System Research and Information Technologies international scientific and technical journal, October 2004. L.B. Ryzhyk, A.Y. Burtsev. Architectural design of E1 distributed operating system. [PDF], 2003. A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Operating system for parallel distributed computing. Proc. 1st International Radio-Electronics Forum "Applied Radio-Electronics. State and Future Trends", Kharkiv, Ukraine, 2002. A.Y. Burtsev, L.B. Ryzhyk, Y.A. Timoshenko. Operating system architecture based on distributed objects. Scientific bulletin of NTUU "KPI", № 4, pp.5-12, 2002 [PDF]. A.Y. Burtsev, L.B. Ryzhyk. Operating system architecture with process migration support. Proc. 3rd International Conference on Programming "UkrProg2002", Kyiv, Ukraine, pp.516-521, 2002 [Abstract: PDF]. A.Y. Burtsev, L.B. Ryzhyk. Operating system for parallel computing. Proc. 3rd International Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, pp.23-27, 2001 [Conference Theses: PDF]. A.Y. Burtsev, L.B. Ryzhyk. Agent-oriented approach to software development. Proc. 2nd National Conference of Students, Postgraduate Students and Young Scientists on System Analysis and Information Technologies, Kyiv, Ukraine, pp.130-134, 2000 [Abstract: PDF].

Updated: April, 2010