Follow
Artem Khyzha
Title
Cited by
Cited by
Year
Speculative taint tracking (stt): A comprehensive protection for speculatively accessed data
J Yu, M Yan, A Khyzha, A Morrison, J Torrellas, CW Fletcher
Proceedings of the 52nd Annual IEEE/ACM International Symposium oná…, 2019
1232019
Proving linearizability using partial orders
A Khyzha, M Dodds, A Gotsman, M Parkinson
European Symposium on Programming, 639-667, 2017
262017
Taming x86-TSO persistency
A Khyzha, O Lahav
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
152021
Safe privatization in transactional memory
A Khyzha, H Attiya, A Gotsman, N Rinetzky
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice ofá…, 2018
102018
A generic logic for proving linearizability
A Khyzha, A Gotsman, M Parkinson
International Symposium on Formal Methods, 426-443, 2016
102016
Proving highly-concurrent traversals correct
YMY Feldman, A Khyzha, C Enea, A Morrison, A Nanevski, N Rinetzky, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
82020
Speculative Taint Tracking (STT): A Formal Analysis
J Yu, M Yan, A Khyzha, A Morrison, J Torrellas, C Fletcher
University of Illinois at Urbana-Champaign and Tel Aviv University, Tech. Rep, 2019
62019
Abstraction for crash-resilient objects
A Khyzha, O Lahav
European Symposium on Programming, 262-289, 2022
52022
Abstract pathfinder
A Khyzha, P ParÝzek, CS Păsăreanu
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
42012
Taming x86-TSO Persistency (Extended Version)
A Khyzha, O Lahav
arXiv preprint arXiv:2010.13593, 2020
32020
Speculative taint tracking (STT) a comprehensive protection for speculatively accessed data
J Yu, M Yan, A Khyzha, A Morrison, J Torrellas, CW Fletcher
Communications of the ACM 64 (12), 105-112, 2021
22021
Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing.
M Hershcovitch, A Khyzha, DG Waddington, A Morrison
EDBT, 2:312-2:324, 2022
12022
A generic logic for proving linearizability (extended version)
A Khyzha, A Gotsman, M Parkinson
arXiv preprint arXiv:1609.01171, 2016
12016
Compositional reasoning about concurrent libraries on the axiomatic TSO memory model
A Khyzha, A Gotsman
Modeling and Verifying Parallel Processes, 116, 2012
12012
Abstraction for Crash-Resilient Objects (Extended Version)
A Khyzha, O Lahav
arXiv preprint arXiv:2111.03881, 2021
2021
Privatization-Safe Transactional Memories (Extended Version)
A Khyzha, H Attiya, A Gotsman
arXiv preprint arXiv:1908.03179, 2019
2019
Privatization-Safe Transactional Memories
A Khyzha, H Attiya, A Gotsman
33rd International Symposium on Distributed Computing (DISC 2019), 2019
2019
Proving consistency of concurrent data structures and transactional memory systems
A Khyzha
ETSI_Informatica, 2018
2018
Proving Linearizability Using Partial Orders (Extended Version)
A Khyzha, M Dodds, A Gotsman, M Parkinson
arXiv preprint arXiv:1701.05463, 2017
2017
Concurrent library abstraction without information hiding
A Khyzha
ETSI_Informatica, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20