• Sign in
  • Sign up
conf.researchr.org / Ana Sokolova
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • PLDI 2018 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2021 profile
  • SPLASH 2015 profile
  • ‹Programming› 2018 profile
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

ECOOP and ISSTA 2021 SPIN Co-Chair in Organizing Committee
SPIN 2021 Co-chair in Organizing Committee within the SPIN-track
Session Chair of Invited talk 2 (part of SPIN)
POPL 2021 Committee Member in Program Committee within the POPL-track
FOSSACS 2019 Committee Member in Program Committee within the FOSSACS 2019-track
ISMM 2018 Committee Member in External Review Committee
MoreVMs 2018 Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
VMCAI 2017 Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track
SPLASH 2015 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

Share
xSun 29 Jan 01:00
using conf.researchr.org (v1.58.0)
Support page
Sign Up