Get started
Author

Artem Khyzha

Observed name: Khyzha, Artem
ORCID: 0000-0002-6781-9665
Observed ORCID: 0000-0002-6781-9665
OpenAlex ID: A5029787951
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
2019 · Jiyong Yu, Mengjia Yan, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 131
PDF
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
2020 · Jiyong Yu, Mengjia Yan, et al. · IEEE Micro · 85
Taming x86-TSO persistency
2021 · Artem Khyzha, Ori Lahav · Proceedings of the ACM on Programming Languages · 33
PDF
Proving Linearizability Using Partial Orders
2017 · Artem Khyzha, Mike Dodds, et al. · Lecture notes in computer science · 32
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification
2024 · Yao Hsiao, Nikos Nikoleris, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 20
PDF
Proving highly-concurrent traversals correct
2020 · Yotam M. Y. Feldman, Artem Khyzha, et al. · Proceedings of the ACM on Programming Languages · 16
PDF
A Generic Logic for Proving Linearizability
2016 · Artem Khyzha, Alexey Gotsman, et al. · Lecture notes in computer science · 11
Safe privatization in transactional memory
2018 · Artem Khyzha, Hagit Attiya, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 10
Abstraction for Crash-Resilient Objects
2022 · Artem Khyzha, Ori Lahav · Lecture notes in computer science · 9
PDF
Puss in Boots: Formalizing Arm’s Virtual Memory System Architecture
2024 · Jade Alglave, Richard Grisenthwaite, et al. · IEEE Micro · 7
PDF
Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data
2021 · Jiyong Yu, Mengjia Yan, et al. · Communications of the ACM · 5
PDF
Safe privatization in transactional memory
2018 · Artem Khyzha, Hagit Attiya, et al. · ACM SIGPLAN Notices · 5
PDF
Abstract pathfinder
2012 · Artem Khyzha, Pavel Parízek, et al. · ACM SIGSOFT Software Engineering Notes · 3
Proving Linearizability Using Partial Orders (Extended Version)
2017 · Khyzha, Artem, Dodds, Mike, et al. · arXiv (Cornell University) · 2
PDF
A Generic Logic for Proving Linearizability (Extended Version)
2016 · Khyzha, Artem, Gotsman, Alexey, et al. · arXiv (Cornell University) · 2
PDF
Privatization-Safe Transactional Memories (Extended Version)
2019 · Khyzha, Artem, Attiya, Hagit, et al. · arXiv (Cornell University) · 1
PDF
Purr-spectives on Graphs
2026 · Alglave, Jade, Khyzha, Artem, et al. · HAL
Abstraction for Crash-Resilient Objects (Extended Version)
2021 · Khyzha, Artem, Lahav, Ori · arXiv (Cornell University)
PDF
Privatization-Safe Transactional Memories
2019 · Khyzha, Artem, Attiya, Hagit, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Proving consistency of concurrent data structures and transactional memory systems
2018 · Artem Khyzha · UPM Digital Archive (Technical University of Madrid)
PDF
Concurrent library abstraction without information hiding
2014 · Artem Khyzha · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)
Works count: 23
Citation count: 374
H-index: 9
I10-index: 8
Year
Topic
Type