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 × China
1 × Korea
1 × United Kingdom
2 × Canada
2 × USA
Collaborated with:
J.S.Foster M.W.Hicks M.Hicks F.S.Zakkak D.S.Nikolopoulos J.Spacco I.Neamtiu S.Lyberis M.Schulz T.Gamblin B.R.d.Supinski G.Tzenakis A.Papatriantafyllou J.Kesapides H.Vandierendonck
Talks about:
memori (3) analysi (2) dynam (2) alloc (2) java (2) determinist (1) architectur (1) locksmith (1) existenti (1) transpar (1)

Person: Polyvios Pratikakis

DBLP DBLP: Pratikakis:Polyvios

Contributed to:

ISMM 20142014
ISMM 20122012
PPoPP 20122012
POPL 20082008
PLDI 20062006
SAS 20062006
OOPSLA 20042004

Wrote 7 papers:

ISMM-2014-ZakkakP #architecture #java #memory management #named
JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
ISMM-2012-LyberisPNSGS #memory management #message passing
The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces (SL, PP, DSN, MS, TG, BRdS), pp. 15–24.
PPoPP-2012-TzenakisPKPVN #analysis #dependence #named #parallel
BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism (GT, AP, JK, PP, HV, DSN), pp. 301–302.
POPL-2008-NeamtiuHFP #concurrent #programming
Contextual effects for version-consistent dynamic software updating and safe concurrent programming (IN, MH, JSF, PP), pp. 37–49.
PLDI-2006-PratikakisFH #analysis #concurrent #correlation #detection #named
LOCKSMITH: context-sensitive correlation analysis for race detection (PP, JSF, MWH), pp. 320–331.
SAS-2006-PratikakisFH #reachability
Existential Label Flow Inference Via CFL Reachability (PP, JSF, MH), pp. 88–106.
OOPSLA-2004-PratikakisSH #java
Transparent proxies for java futures (PP, JS, MWH), pp. 206–223.

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.