Artem Khyzha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MICRO | 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 |
| 2022 | EDBT | Elastic Indexes: Dynamic Space vs. Query Efficiency Tuning for In-Memory Database Indexing. | Moshik Hershcovitch, Artem Khyzha, Daniel G. Waddington, Adam Morrison |
| 2022 | ESOP | Abstraction for Crash-Resilient Objects. | Artem Khyzha, Ori Lahav |
| 2019 | MICRO | Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data. | Jiyong Yu, Mengjia Yan, Artem Khyzha, Adam Morrison, Josep Torrellas, Christopher W. Fletcher |
| 2018 | PPoPP | Safe privatization in transactional memory. | Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky |
| 2017 | ESOP | Proving Linearizability Using Partial Orders. | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
| 2016 | FM | A Generic Logic for Proving Linearizability. | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |