Curriculum vitæ

Contact Information

Email: anton@podkopaev.net
Github: anlun
Homepage: podkopaev.net

Research interests

Software verification, program language semantics, concurrency, weak memory models, functional programming.

Education

Employment

Internships

Publications

  1. Promising Compilation to ARMv8.3 (in Russian)
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In proceedings of ISP RAS, 2017.
  2. Promising Compilation to ARMv8 POP
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In ECOOP 2017.
  3. Operational Aspects of C/C++ Concurrency
    A.Podkopaev, I.Sergey, A.Nanevski
    arXiv, 2016
  4. A Language-Independent Code Formatting by Syntactic Matching and Templates (in Russian)
    A.Podkopaev, A.Korovianskii, I.Ozernykh
    NTV SPbSTU 4 (224), October 2015.
  5. Polynomial-Time Optimal Pretty-Printing Combinators with Choice
    A.Podkopaev, D.Boulytchev
    Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2014).
  6. Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System (in Russian)
    A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
    NTV SPbSTU 4 (128), 2011.

Teaching

Technical skills

Language Skills

References

Viktor VafeiadisOri Lahav
Tenured Faculty
MPI-SWS
Germany
Faculty member
Tel Aviv University
Israel
Dmitri Boulytchev
Assistant Professor
St. Petersburg University
Russia
Back