About me

I currently work at Intel Labs in Hillsboro, OR.

Prior to joining Intel, I was a PhD student at TU Dresden co-supervised by Prof. Dr. Christof Fetzer and Prof. Dr. Pramod Bhatotia. During my PhD, I interned with Intel Labs (summer 2017). My research focused on dependability of software systems, with emphasis on fault tolerance and security. I defended my PhD thesis titled "Hardware-Assisted Dependable Systems" in early 2018.

Before joining TU Dresden, I worked as a software engineer at Auriga Inc (2010 — 2011) and Diasoft (2007 — 2010) in Moscow.

Publications

Conference papers

Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
Sigmetrics 2018  [Techreport] [Site] [Code]

Fex: A Software Systems Evaluator
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, and Christof Fetzer
DSN 2017  [Paper] [Code]

SGXBounds: Memory Safety for Shielded Execution
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
Eurosys 2017, Best paper award  [Paper] [Slides] [Code]

Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
DSN 2016  [Techreport] [Paper] [Slides] [Code]

HAFT: Hardware-Assisted Fault Tolerance
Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
EuroSys 2016  [Paper] [Slides] [Code]

Δ-Encoding: Practical Encoded Processing
Dmitrii Kuvaiskii and Christof Fetzer
DSN 2015, Carter award (best student paper)  [Paper] [Slides]

HardPaxos: Replication hardened against hardware errors
Diogo Behrens, Dmitrii Kuvaiskii, and Christof Fetzer
SRDS 2014. Best paper award  [Paper]

Misc

Efficient Fault Tolerance using Intel MPX and TSX
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer, and Pascal Felber
DSN 2016. (Fast abstract)  [Paper] [Slides]