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

Selected publications

  1. Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
    A.Podkopaev, O.Lahav, V.Vafeiadis
    In POPL 2019.
  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. 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).

Teaching

Technical skills

Language Skills

References

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