Artem Khyzha


I am a postdoctoral fellow at Tel Aviv University, where I work with Adam Morrison on various theoretical and practical aspects of applying formal methods to shared-memory concurrency and hardware security.

Previously, I obtained my PhD at IMDEA Software Institute under supervision of Alexey Gotsman. I defended my PhD thesis in July 2018.


  • Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher Fletcher
    Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
    MICRO'19: International Symposium on Microarchitecture, Columbus, Ohio, 2019.
    [PDF] [TR]

  • Artem Khyzha, Hagit Attiya, Alexey Gotsman
    Privatization-safe Transactional Memories
    DISC'19: International Symposium on Distributed Computing, Budapest, Hungary, 2019.
    [PDF] [arXiv]

  • Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
    Safe Privatization for Transactional Memory
    PPoPP'18: Principles and Practice of Parallel Programming, Vienna, Austria, 2018.
    [PDF] [arXiv]

  • Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew Parkinson
    Proving Linearizability Using Partial Orders
    ESOP'17: European Symposium on Programming, Uppsala, Sweden, 2017.
    [PDF] [arXiv]

  • Artem Khyzha, Alexey Gotsman, Matthew Parkinson
    A Generic Logic for Proving Linearizability
    FM'16: International Symposium on Formal Methods, Limassol, Cyprus, 2016
    Extended version: [PDF] [arXiv]

  • Artem Khyzha, Alexey Gotsman
    Compositional reasoning about concurrent libraries on the axiomatic TSO memory model
    Winter School on Modelling and Verifying Parallel Processes, Marseille, France, 2012.
    Extended abstract: [PDF]

  • Artem Khyzha, Pavel Parizek, Corina S. Pasareanu
    Abstract Pathfinder [PDF]
    The Java Pathfinder Workshop, Cary, North Carolina, USA, 2012.


My last name has a scary-looking transliteration from Ukrainian. Click on this link to hear me pronouncing it.