Artem Khyzha

23 papers A* 2A 3B 3Journal 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
Puss in Boots: Formalizing Arm's Virtual Memory System Architecture.
IEEE Micro
Jade Alglave, Richard Grisenthwaite, Artem Khyzha, Luc Maranget, Nikos Nikoleris
2024 A* conf
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification.
MICRO
Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2024 J jnl
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification.
CoRR
Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2022 A conf
Abstraction for Crash-Resilient Objects.
ESOP
Artem Khyzha, Ori Lahav
2022 B conf
Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing.
EDBT
Moshik Hershcovitch, Artem Khyzha, Daniel G. Waddington, Adam Morrison
2021 J jnl
Abstraction for Crash-Resilient Objects (Extended Version).
CoRR
Artem Khyzha, Ori Lahav
2021 J jnl
Speculative taint tracking (STT): a comprehensive protection for speculatively accessed data.
Commun. ACM
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2021 J jnl
Taming x86-TSO persistency.
Proc. ACM Program. Lang.
Artem Khyzha, Ori Lahav
2020 J jnl
Proving Highly-Concurrent Traversals Correct.
CoRR
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
2020 J jnl
Proving highly-concurrent traversals correct.
Proc. ACM Program. Lang.
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
2020 J jnl
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data.
IEEE Micro
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2020 J jnl
Taming x86-TSO Persistency (Extended Version).
CoRR
Artem Khyzha, Ori Lahav
2019 J jnl
Privatization-Safe Transactional Memories (Extended Version).
CoRR
Artem Khyzha, Hagit Attiya, Alexey Gotsman
2019 A conf
Privatization-Safe Transactional Memories.
DISC
Artem Khyzha, Hagit Attiya, Alexey Gotsman
2019 A* conf
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data.
MICRO
Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher
2018 — —
Proving consistency of concurrent data structures and transactional memory systems.
Artem Khyzha
2018 J jnl
Safe Privatization in Transactional Memory.
CoRR
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
2018 B conf
Safe privatization in transactional memory.
PPoPP
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
2017 J jnl
Proving Linearizability Using Partial Orders (Extended Version).
CoRR
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
2017 A conf
Proving Linearizability Using Partial Orders.
ESOP
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
2016 J jnl
A Generic Logic for Proving Linearizability (Extended Version).
CoRR
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
2016 B conf
A Generic Logic for Proving Linearizability.
FM
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
2012 J jnl
Abstract pathfinder.
ACM SIGSOFT Softw. Eng. Notes
Artem Khyzha, Pavel Parízek, Corina S. Pasareanu