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: Pratikakis:Polyvios
Contributed to:
20142012
2012
2008
2006
2006
2004Wrote 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.