Dmitrii Kuvaiskii

According to our database1, Dmitrii Kuvaiskii
  • authored at least 12 papers between 2014 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches.
CoRR, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Fex: A Software Systems Evaluator.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report).
CoRR, 2016

HAFT: hardware-assisted fault tolerance.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Compiling for Resilience: the Performance Gap.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Δ-Encoding: Practical Encoded Processing.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Resiliency-aware Data Compression for In-memory Database Systems.
Proceedings of the DATA 2015, 2015

2014
Practical Encoded Processing.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

HardPaxos: Replication Hardened against Hardware Errors.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014


  Loading...