Travelled to:1 × Hungary
1 × Italy
2 × USA
Collaborated with:C.M.Kirsch M.Aigner M.Lippautz I.Hasuo B.Jacobs Sebastian Arming E.Bartocci T.A.Henzinger H.Payer A.Sezgin A.Haas S.Stroka A.Unterweger
Talks about:memori (3) structur (2) concurr (2) data (2) microcosm (1) coalgebra (1) principl (1) parametr (1) multicor (1) fragment (1)
Person: Ana Sokolova
DBLP: Sokolova:Ana
Contributed to:
2015
2013
2011
2008
2017Wrote 5 papers:
- OOPSLA-2015-0003KLS #data type #memory management #multi #performance #scalability
- Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.
- POPL-2013-HenzingerKPSS #concurrent #data type
- Quantitative relaxation of concurrent data structures (TAH, CMK, HP, AS, AS), pp. 317–328.
- ISMM-2011-AignerHKLSSU #memory management #self
- Short-term memory for self-collecting mutators (MA, AH, CMK, ML, AS, SS, AU), pp. 99–108.
- FoSSaCS-2008-HasuoJS #algebra #concurrent
- The Microcosm Principle and Concurrency in Coalgebra (IH, BJ, AS), pp. 246–260.
- QAPL-2017-ArmingBS #named #parametricity
- SEA-PARAM: Exploring Schedulers in Parametric MDPs (SA, EB, AS), pp. 25–38.