Artem Khyzha

According to our database, Artem Khyzha authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

Proceedings of the 57th IEEE/ACM International Symposium on Microarchitecture, 2024

2022

Abstraction for Crash-Resilient Objects.

Artem Khyzha, Ori Lahav

Proceedings of the Programming Languages and Systems, 2022

Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing.

Moshik Hershcovitch, Artem Khyzha, Daniel G. Waddington, Adam Morrison

Proceedings of the 25th International Conference on Extending Database Technology, 2022

2021

Taming x86-TSO persistency.

Artem Khyzha, Ori Lahav

Proc. ACM Program. Lang., 2021

Abstraction for Crash-Resilient Objects (Extended Version).

Artem Khyzha, Ori Lahav

CoRR, 2021

Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data.

Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher

Commun. ACM, 2021

2020

Proving highly-concurrent traversals correct.

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham

Proc. ACM Program. Lang., 2020

Taming x86-TSO Persistency (Extended Version).

Artem Khyzha, Ori Lahav

CoRR, 2020

2019

Privatization-Safe Transactional Memories (Extended Version).

Artem Khyzha, Hagit Attiya, Alexey Gotsman

CoRR, 2019

Privatization-Safe Transactional Memories.

Artem Khyzha, Hagit Attiya, Alexey Gotsman

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

2018

Proving consistency of concurrent data structures and transactional memory systems.

Artem Khyzha

PhD thesis, 2018

Safe privatization in transactional memory.

Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017

Proving Linearizability Using Partial Orders (Extended Version).

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

CoRR, 2017

Proving Linearizability Using Partial Orders.

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2017

2016

A Generic Logic for Proving Linearizability (Extended Version).

Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson

CoRR, 2016

A Generic Logic for Proving Linearizability.

Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson

Proceedings of the FM 2016: Formal Methods, 2016

2012

Abstract pathfinder.

Artem Khyzha, Pavel Parízek, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012