Polyvios Pratikakis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foivos S. Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas, Dimitrios S. Nikolopoulos: Inference and declaration of independence: impact on deterministic task parallelism. PACT 2012: 453-454
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Spyros Lyberis, Polyvios Pratikakis, Dimitrios S. Nikolopoulos, Martin Schulz, Todd Gamblin, Bronis R. de Supinski: The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces. ISMM 2012: 15-24
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
George Tzenakis, Angelos Papatriantafyllou, John Kesapides, Polyvios Pratikakis, Hans Vandierendonck, Dimitrios S. Nikolopoulos: BDDT: : block-level dynamic dependence analysis for deterministic task-based parallelism. PPOPP 2012: 301-302
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33(1): 3 (2011)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Hans Vandierendonck, Spyros Lyberis, Dimitrios S. Nikolopoulos: A programming model for deterministic task parallelism. MSPC 2011: 7-12
2008
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
2006
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks: LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI 2006: 320-331
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: Existential Label Flow Inference Via CFL Reachability. SAS 2006: 88-106
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks: Transparent proxies for java futures. OOPSLA 2004: 206-223

Coauthor Index

1Angelos Bilas
[c9]
2Dimitrios Chasapis
[c9]
3Jeffrey S. Foster
[j1] [c5] [c4] [c3] [c2]
4Todd Gamblin
[c8]
5Michael W. Hicks (Michael Hicks)
[j1] [c5] [c4] [c3] [c2] [c1]
6John Kesapides
[c7]
7Spyros Lyberis
[c8] [c6]
8Iulian Neamtiu
[c5] [c4]
9Dimitrios S. Nikolopoulos
[c9] [c8] [c7] [c6]
10Angelos Papatriantafyllou
[c7]
11Martin Schulz
[c8]
12Jaime Spacco
[c1]
13Bronis R. de Supinski
[c8]
14George Tzenakis
[c7]
15Hans Vandierendonck
[c7] [c6]
16Foivos S. Zakkak
[c9]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 17:22:53 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page