BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sokolova:Ana

Contributed to:

OOPSLA 20152015
POPL 20132013
ISMM 20112011
FoSSaCS 20082008
QAPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.