Abstract pathfinder. - Artem Khyzha; Pavel Parízek; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2012)

A Generic Logic for Proving Linearizability. - Artem Khyzha; Alexey Gotsman; Matthew J. Parkinson (FM, 2016)

A Generic Logic for Proving Linearizability (Extended Version). - Artem Khyzha; Alexey Gotsman; Matthew J. Parkinson (CoRR, 2016)

Proving Linearizability Using Partial Orders. - Artem Khyzha; Mike Dodds; Alexey Gotsman; Matthew J. Parkinson (ESOP, 2017)

Proving Linearizability Using Partial Orders (Extended Version). - Artem Khyzha; Mike Dodds; Alexey Gotsman; Matthew J. Parkinson (CoRR, 2017)

Safe privatization in transactional memory. - Artem Khyzha; Hagit Attiya; Alexey Gotsman; Noam Rinetzky (PPoPP, 2018)

Proving consistency of concurrent data structures and transactional memory systems. - Artem Khyzha (2018)

Privatization-Safe Transactional Memories. - Artem Khyzha; Hagit Attiya; Alexey Gotsman (DISC, 2019)

Privatization-Safe Transactional Memories (Extended Version). - Artem Khyzha; Hagit Attiya; Alexey Gotsman (CoRR, 2019)

Taming x86-TSO Persistency (Extended Version). - Artem Khyzha; Ori Lahav 001 (CoRR, 2020)

Proving highly-concurrent traversals correct. - Yotam M. Y. Feldman; Artem Khyzha; Constantin Enea; Adam Morrison 001; Aleksandar Nanevski; Noam Rinetzky; Sharon Shoham (Proc. ACM Program. Lang., 2020)

Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data. - Jiyong Yu; Mengjia Yan 001; Artem Khyzha; Adam Morrison 001; Josep Torrellas; Christopher W. Fletcher (Commun. ACM, 2021)

Abstraction for Crash-Resilient Objects (Extended Version). - Artem Khyzha; Ori Lahav 001 (CoRR, 2021)

Taming x86-TSO persistency. - Artem Khyzha; Ori Lahav 001 (Proc. ACM Program. Lang., 2021)

Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing. - Moshik Hershcovitch; Artem Khyzha; Daniel G. Waddington; Adam Morrison 001 (EDBT, 2022)

Abstraction for Crash-Resilient Objects. - Artem Khyzha; Ori Lahav 001 (ESOP, 2022)

RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. - Yao Hsiao; Nikos Nikoleris; Artem Khyzha; Dominic P. Mulligan; Gustavo Petri; Christopher W. Fletcher; Caroline Trippel (MICRO, 2024)

Puss in Boots: Formalizing Arm's Virtual Memory System Architecture. - Jade Alglave; Richard Grisenthwaite; Artem Khyzha; Luc Maranget; Nikos Nikoleris (IEEE Micro, 2024)