Folgen
Artem Khyzha
Titel
Zitiert von
Zitiert von
Jahr
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
1882021
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
1882019
Proving linearizability using partial orders
A Khyzha, M Dodds, A Gotsman, M Parkinson
European Symposium on Programming, 639-667, 2017
312017
Taming x86-TSO persistency
A Khyzha, O Lahav
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
232021
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
182020
A generic logic for proving linearizability
A Khyzha, A Gotsman, M Parkinson
International Symposium on Formal Methods, 426-443, 2016
122016
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
112019
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
112018
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20