Puss In Boots: on formalizing Arm's Virtual Memory System Architecture
Alglave, Jade, Grisenthwaite, Richard, Khyzha, Artem, Maranget, Luc, Nikoleris, Nikos
Published in IEEE MICRO (08.07.2024)
Published in IEEE MICRO (08.07.2024)
Get full text
Journal Article
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
Yu, Jiyong, Yan, Mengjia, Khyzha, Artem, Morrison, Adam, Torrellas, Josep, Fletcher, Christopher W.
Published in IEEE MICRO (01.05.2020)
Published in IEEE MICRO (01.05.2020)
Get full text
Journal Article
Proving highly-concurrent traversals correct
Feldman, Yotam M. Y., Khyzha, Artem, Enea, Constantin, Morrison, Adam, Nanevski, Aleksandar, Rinetzky, Noam, Shoham, Sharon
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Proving Linearizability Using Partial Orders
Khyzha, Artem, Dodds, Mike, Gotsman, Alexey, Parkinson, Matthew
Published in Programming Languages and Systems (2017)
Published in Programming Languages and Systems (2017)
Get full text
Book Chapter
RTL2M$\mu$PATH: Multi-$\mu$PATH Synthesis with Applications to Hardware Security Verification
Hsiao, Yao, Nikoleris, Nikos, Khyzha, Artem, Mulligan, Dominic P, Petri, Gustavo, Fletcher, Christopher W, Trippel, Caroline
Year of Publication 28.09.2024
Year of Publication 28.09.2024
Get full text
Journal Article
Proving Highly-Concurrent Traversals Correct
Feldman, Yotam M Y, Khyzha, Artem, Enea, Constantin, Morrison, Adam, Nanevski, Aleksandar, Rinetzky, Noam, Shoham, Sharon
Published in arXiv.org (10.01.2024)
Published in arXiv.org (10.01.2024)
Get full text
Paper
Journal Article