|
|
||||||
|
|
|
|
|
|||
|
|
||||||
|
I've recently defended my PhD (well, almost, I'm waiting on the final reading approval). I stayed at the School of
Computing, University of
Utah as a research scientist. I am a systems researcher - I like to
design, and build novel system mechanisms at all
levels of the systems stack from the architecture to
languages.
The main focus of my work at the moment is a full-system
deterministic replay engine for the Xen
virtualization platform. We use replay to build a
practical deterministic replay analysis platform. We
play with some security, and performance analyses, but
really we plan to come up with automatic ways of
explaining execution, or in other words answering the question of
how did that bad thing happen to your system.
Right now we have a reasonably stable deterministic replay
prototype (XenTT),
which replays execution of paravirtualized
Linux guests running on top of Xen, and a powerful virtual machine
introspection (VMI), and debug-symbol library, which provides your
analysis algorithms with a way to monitor execution of the guest system,
and access its state through convenient symbol names.
A couple of other things I'm involved in at the moment are:
practical, capability-based least authority
infrastructure for virtualized
environments, and general framework for performance
analysis of virtualized environments. You
can find an incomplete, never edited list of past and current
research projects here.
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" (Complete education
history). In Ukraine I worked with
Leonid Ryzhyk. We were
full of naive but interesting ideas. We spent several years working on the E1 distributed operating system project.
Some personal information. Complete
work experience.
|
||||||
|
|
||||||
|
|
||||||
|
Updated: March, 2012
|
||||||