Artem Khyzha

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 18

Top Topics

Transactional Memory

Database Workloads

Top Venues

Proc. ACM Program. Lang.

Publications

Artem Khyzha, Ori Lahav
Abstraction for Crash-Resilient Objects. ESOP (2022)
Moshik Hershcovitch, Artem Khyzha, Daniel G. Waddington, Adam Morrison
Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing. EDBT (2022)
Artem Khyzha, Ori Lahav
Abstraction for Crash-Resilient Objects (Extended Version). CoRR (2021)
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data. Commun. ACM 64 (12) (2021)
Artem Khyzha, Ori Lahav
Taming x86-TSO persistency. Proc. ACM Program. Lang. 5 (POPL) (2021)
Artem Khyzha, Ori Lahav
Taming x86-TSO Persistency (Extended Version). CoRR (2020)
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data. IEEE Micro 40 (3) (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving Highly-Concurrent Traversals Correct. CoRR (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving highly-concurrent traversals correct. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Artem Khyzha, Hagit Attiya, Alexey Gotsman
Privatization-Safe Transactional Memories. DISC (2019)
Artem Khyzha, Hagit Attiya, Alexey Gotsman
Privatization-Safe Transactional Memories (Extended Version). CoRR (2019)
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data. MICRO (2019)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe Privatization in Transactional Memory. CoRR (2018)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe privatization in transactional memory. PPOPP (2018)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders. ESOP (2017)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders (Extended Version). CoRR (2017)
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
A Generic Logic for Proving Linearizability (Extended Version). CoRR (2016)
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
A Generic Logic for Proving Linearizability. FM (2016)
Artem Khyzha, Pavel Parízek, Corina S. Pasareanu
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)