I'm a graduate student at the School of Computing, University of Utah. Most of the time I work on Xen to implement time-travel for large distributed systems in Emulab. I moved to Utah from Kiev, Ukraine, where I was a graduate student at the Institute for Applied System Analysis at the National Technical University of Ukraine "Kyiv Polytehnic Institute".

In Ukraine I worked with Leonid Ryzhyk. It was a wonderful and strong team. We were full of naive but interesting ideas. We spent several years working on E1 distributed operating system project.

Some personal information can be found here.

Operating systems: new abstractions for building operating systems, virtualization, microkernels, distribution models, persistence, threading models, IPC mechanisms, applicability of lock-free algorithms to kernel structures.

Replay debugging: deterministic and non-deterministic replay debugging of large distributed systems.

Distributed systems: abstractions for next generation network operating systems

Access control models: distributed and decentralized access control models, access control in operating systems.

Development of a replay debugging environment for distributed systems consisting of hundreds of machines. Our time-travel system will run along with an experiment launched in Emulab and capture original execution of an entire network of virtual machines. In case of an error, a researcher will be able to rollback execution of the network to the point before the crash and inspect its state or debug it with a traditional step-by-step debugger. On each node we replay entire OS along with its running processes.

Emulab includes more than 350 PC nodes. Some 1500 users run experiments of size 1-300 nodes, on a first-come first-served basis. Demand far exceeds capacity, so Emulab provides a weak form of time-sharing. We would like to schedule Emulab experiments similarly to how OS schedules its processes. The Emulab scheduler could preempt low-priority or idle experiments, save the full state of entire network, and replace it with other experiments. The goal is that swapout/swapin must be transparent to the experiment, and except for scheduling delays, transparent to users. In the context of Emulab, this means that we are able to preempt large long running experiments without compromising the correctness of experimental results.

PhD. student at the Institute for Applied System Analysis at National Technical University of Ukraine "Kyiv Polytechnic Institute".

Dissertation title: A distributed operating system architecture based on replicated objects.

M.Sc. diploma with honors in Applied Mathematics at the Institute for Applied System Analysis at National Technical University of Ukraine "Kyiv Polytechnic Institute".

Theses: Distributed operating system architecture based on distributed shared objects.

B.Sc. diploma with honors in Applied Mathematics at the Institute for Applied System Analysis at National Technical University of Ukraine "Kyiv Polytechnic Institute".

Theses: Intelligent software agents.

PhD Practicum at the National ICT Australia in DiSy: Operating Systems, Embedded and Distributed Systems Research Group at the University of New South Wales

Supervision: Prof. Gernot Heiser, Dr. Ihor Kuz.

µITRON is a specification of a real-time embedded operating system kernel. Being minimalist yet powerful enough it became de-facto standard on Japanese embedded system market. Implementation of a µITRON compatible kernel on top of L4 was a good test on both completeness and flexibility of L4 API and on its potential applicability to development of embedded systems.

E1 distributed operating system project is aimed to provide reliable software platform for distributed applications. State and functionality of all operating system components are encapsulated by distributed objects. A complete or partial copy of distributed object's state is placed in each network node where the object is used. Copy coherence is ensured by replication algorithms.

This research was aimed on the investigation of an applicability of an agent oriented programming methodology to construction of operating systems capable to operate in complex dynamic environments relying on an intensional logic. All operating system components were treated as intelligent software agents cooperating in order to achieve common goals.

Implementation of a C programming language compiler with educational purposes within the "Computer Systems" course.

Participation in implementation of a small 3D engine for a DOOM-like computer game within the "Programming" course.

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

A.Y. 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].

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

Anton Burtsev, Mike Hibler, Jay Lepreau. Aggressive Server Consolidation through Pageable Virtual Machines, Student Research Poster Competition, Awarded 2nd place, Utah, March 2008. 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]

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]

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

Teaching assistance in class "Introduction to Digital Circuits"

Teaching assistance in class "Computer Systems"

Software developer (part-time position).

Design and development of various projects in a field of software protection and security. List of completed industrial projects can be found here

Curriculum Vitae [PDF]

Jazz music, reading, painting.

Updated: August, 2005