Sotabase

Career

· Research Scientist, Arm
· PhD Student, IMDEA Software Institute
· Postdoctoral Researcher, Tel Aviv University
· Master's Degree, Universidad Politécnica de Madrid

Publications (16)

Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
IEEE Micro · 2019
213
cited
Proving Linearizability Using Partial Orders
European Symposium on Programming · 2017
30
cited
Taming x86-TSO persistency
Proc. ACM Program. Lang. · 2020
27
cited
Proving highly-concurrent traversals correct
Proc. ACM Program. Lang. · 2020
17
cited
A Generic Logic for Proving Linearizability
World Congress on Formal Methods · 2016
12
cited
Safe privatization in transactional memory
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2018
10
cited
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification
Micro · 2024
7
cited
Abstract pathfinder
ACM SIGSOFT Softw. Eng. Notes · 2012
4
cited
Abstraction for Crash-Resilient Objects (Extended Version)
European Symposium on Programming · 2021
2
cited
A Generic Logic for Proving Linearizability (Extended Version)
arXiv.org · 2016
2
cited
RTL2M$\mu$PATH: Multi-$\mu$PATH Synthesis with Applications to Hardware Security Verification
2024
1
cited
Taming x86-TSO Persistency (Extended Version)
arXiv.org · 2020
1
cited
Concurrent library abstraction without information hiding
2014
Foundations of Persistent Programming
2022
Privatization-Safe Transactional Memories (Extended Version)
International Symposium on Distributed Computing · 2019
Proving consistency of concurrent data structures and transactional memory systems
2018
Sotabase
Artem Khyzha | Researcher Profile | Sotabase | Sotabase