conf.researchr.org / Ana Sokolova
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