Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Egor Derevenetc

Publications by Egor Derevenetc

Conference contributions

  1. Locality and Singularity for Store-Atomic Memory Models, with Roland Meyer and Sebastian Schweizer.
    In Proceedings of NETYS 2017.
    DOI | arXiv

  2. Lazy TSO Reachability, with Ahmed Bouajjani, Georgel Calin, and Roland Meyer.
    In Proceedings of FASE 2015.
    arXiv | DOI | BibTeX

  3. Robustness against Power is PSPACE-complete, with Roland Meyer.
    In Proceedings of ICALP 2014.
    arXiv | DOI | BibTeX

  4. Checking and Enforcing Robustness against Relaxed Memory Models, with Ahmed Bouajjani and Roland Meyer.
    In Proceedings of SE 2014.
    PDF

  5. A Theory of Partitioned Global Address Spaces, with Georgel Calin, Rupak Majumdar, and Roland Meyer.
    In Proceedings of FSTTCS 2013.
    arXiv | DOI | BibTeX

  6. Checking and Enforcing Robustness against TSO, with Ahmed Bouajjani and Roland Meyer.
    In Proceedings of ESOP 2013.
    PDF (full version) | DOI | BibTeX

Journal articles

  1. Structural analysis in the problem of decompilation, with K.N. Dolgova.
    Collection of Young Scientists' Articles, 2009.

  2. Structural analysis in the problem of decompilation, with K.N. Dolgova.
    Applied Informatics, 2009.
    PDF | BibTeX

  3. Methods and algorithms for reconstructing assembler programs into high level language, with K.N. Dolgova and A. Chernov.
    Problems of Information Security, 2008.
    PDF | BibTeX

Workshop contributions

  1. SmartDec: Approaching C++ Decompilation, with A. Fokin, A. Chernov, and K. Troshina.
    In Proceedings of 18th Working Conference on Reverse Engineering. Limerick, Ireland, 2011.
    IEEE | DOI | BibTeX

  2. Reconstruction of Composite Types for Decompilation, with K. Troshina and A. Chernov.
    In Proceedings of 10th IEEE International Working Conference on Source Code Analysis and Manipulation. Timisoara, Romania, 2010.
    IEEE | DOI | BibTeX

  3. C Decompilation: Is It Possible?, with K. Troshina and A. Chernov.
    In Proceedings of International Workshop on Program Understanding. Altai Mountains, Russia, 2009.
    PDF | BibTeX

Theses

  1. Robustness against Relaxed Memory Models. PhD thesis.
    University of Kaiserslautern, 2015.
    PDF | BibTeX

  2. Reconstruction of C++ control flow structures from a low-level program. Diploma Thesis.
    Moscow State University, 2010.