conf.researchr.org / Ana Sokolova
![Ana Sokolova](https://conf.researchr.org/getProfileImage/anasokolova/c7985cb3-1543-4053-ae8c-0dbc7edd6888/small.jpg?1711467598000)
Registered user since Tue 6 Jun 2017
Name:Ana Sokolova
Country:Austria
Affiliation:University of Salzburg
Personal website: http://cs.uni-salzburg.at/~anas/
Research interests:Formal Methods, Concurrency Theory, Semantics, Coalgebra
Contributions
2021
ECOOP/ISSTA
SPIN
2018
2017
2015
SPLASH
- Author of Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures within the OOPSLA-track
- Author of Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures within the OOPSLA Artifacts-track