Papers

  1. A greedy feature selection algorithm for Big Data of high dimensionality
    Ioannis Tsamardinos, Giorgos Borboudakis, Pavlos Katsogridakis, Polyvios Pratikakis, Vassilis Christophides
    Machine Learning, August, 2018.
  2. Social media analysis during political turbulence
    Despoina Antonakaki, Dimitris Spiliotopoulos, Christos V Samaras, Polyvios Pratikakis, Sotiris Ioannidis, Paraskevi Fragopoulou
    PloS one, October, 2017.
  3. Execution of Recursive Queries in Apache Spark
    Pavlos Katsogridakis, Sofia Papagiannaki, Polyvios Pratikakis
    European Conference on Parallel Processing (EuroPar), Santiago de Compostela, Spain, 2017.
  4. DiSquawk: 512 cores, 512 memories, 1 JVM
    Foivos S Zakkak, Polyvios Pratikakis
    Principles and Practices of Programming on the Java (PPPJ), Lugano, Switzerland, 2016.
  5. Building a Java Virtual Machine for Non-Cache-Coherent Many-core Architectures
    Foivos S Zakkak, Polyvios Pratikakis
    Java Technologies for Real-Time and Embedded Systems (JTRTES), Lugano, Switzerland, 2016.
  6. Hierarchical Parallel Dynamic Dependence Analysis for Recursively Task-Parallel Programs
    Nikolaos Papakonstantinou, Foivos S Zakkak, Polyvios Pratikakis
    International Parallel and Distributed Processing Symposium (IPDPS), Chicago, IL, USA, 2016.
  7. Distributed Region-based Memory Allocation and Synchronization
    Christi Symeonidou, Polyvios Pratikakis, Dimitrios Nikolopoulos, and Angelos Bilas
    International Journal of High Performance Computing Applications, 2014.
  8. TProf: An energy profiler for task-parallel programs
    Ioannis Manousakis, Foivos S Zakkak, Polyvios Pratikakis, Dimitrios Nikolopoulos
    Sustainable Computing: Informatics and Systems, 2014.
  9. A Java Memory Model for non cache coherent memory architectures
    Foivos S Zakkak and Polyvios Pratikakis
    International Symposium on Memory Management (ISMM), Edinburgh, Scotland, UK. June 2014.
  10. Micro-checkpointing in Fault Tolerant Runtimes
    Pavlos Katsogridakis and Polyvios Pratikakis
    International Conference on Computing Frontiers (CF), Cagliari, Italy. May 2014.
  11. DRASync: Distributed Region-based memory Allocation and Synchronization
    Christi Symeonidou, Polyvios Pratikakis, Dimitrios Nikolopoulos, and Angelos Bilas
    European MPI Users' Group Meeting (EuroMPI), Madrid, Spain. September 2013.
  12. Inference and Declaration of Independence in Task-Parallel Programs
    Foivos S Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas, and Dimitrios S Nikolopoulos
    International Conference on Advanced Parallel Processing Technology (APPT), Stockholm, Sweden. August 2013.
  13. BDDT: Block-level Dynamic Dependence Analysis for Task-Based Parallelism
    George Tzenakis, Angelos Papatriantafyllou, Hans Vandierendonck, Polyvios Pratikakis, and Dimitrios S Nikolopoulos
    International Conference on Advanced Parallel Processing Technology (APPT), Stockholm, Sweden. August 2013.
  14. Efficient Runtime Support for Embedded MPSoCs
    Dimitris Theodoropoulos, Polyvios Pratikakis, and Dionisios Pnevmatikatos
    International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. July 2013.
  15. Practical Information Flow for Legacy Web Applications
    Georgios Chinis, Polyvios Pratikakis, Elias Athanasopoulos, and Sotiris Ioannidis.
    International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS), Montpellier, France. July 2013.
  16. Towards Reliable Task Parallel Programs
    Dimitrios Skarlatos, Polyvios Pratikakis, Dionysios Pnevmatikatos
    Workshop on Design for Reliability (DFR), Berlin, Germany. January 2013.
  17. Parallel Programming
    Hans Vandierendonck, Dimitrios S Nikolopoulos, and Polyvios Pratikakis.
    Encyclopedia of Software Engineering, Taylor & Francis, 2012.
  18. The Myrmics Memory Allocator: Hierarchical, Message-Passing Allocation for Global Address Spaces
    Spyros Lyberis, Polyvios Pratikakis, Dimitrios S Nikolopoulos Martin Schulz, Todd Gamblin, and Bronis R. de Supinski.
    International Symposium on Memory Management (ISMM), Beijing, China. June 2012.
  19. A programming model for deterministic task parallelism
    Polyvios Pratikakis, Hans Vandierendonck, Spyros Lyberis, and Dimitrios S Nikolopoulos.
    ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC), San Jose, CA, USA. June 2011.
  20. Parallel Programming of General-Purpose Programs Using Task-Based Programming Models
    Hans Vandierendonck, Polyvios Pratikakis, and Dimitrios S Nikolopoulos.
    3rd USENIX Workshop on Hot Topics in Parallelism (HotPar), Berkeley, CA, USA. May 2011.
  21. Locksmith: Practical Static Race Detection for C
    Polyvios Pratikakis, Jeffrey S Foster, and Michael Hicks.
    ACM Transactions on Programming Languages and Systems (TOPLAS). January 2011.
  22. Formalizing Soundness of Contextual Effects
    Polyvios Pratikakis, Jeffrey S Foster, Michael Hicks, and Iulian Neamtiu.
    Theorem Proving in Higher Order Logics (TPHOLs), Montreal, Quebec, Canada. August 2008.
  23. Type-preserving Compilation for Large-scale Optimizing Object-Oriented Compilers
    Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, and Polyvios Pratikakis.
    In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 183-192, Tucson, AZ, USA. June 2008.
  24. Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
    Iulian Neamtiu, Michael Hicks, Jeffrey S Foster, and Polyvios Pratikakis.
    In Proceedings of the ACM Conference on Principles of Programming Languages (POPL), pages 37-50, San Francisco, CA, USA. January 2008.
  25. Existential Label Flow Inference via CFL Reachability.
    Polyvios Pratikakis, Jeffrey S Foster, and Michael Hicks.
    Static Analysis Symposium (SAS), Seoul, Korea. August 2006.
  26. Lock Inference for Atomic Sections.
    Michael Hicks, Jeffrey S Foster, and Polyvios Pratikakis.
    In Informal Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT), Ottawa, Canada. June 2006.
  27. Context-sensitive Correlation Analysis for Detecting Races.
    Polyvios Pratikakis, Jeffrey S Foster, and Michael Hicks.
    In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), Ottawa, Canada. June 2006.
  28. Transparent Proxies for Java Futures.
    Polyvios Pratikakis, Jaime Spacco, and Michael Hicks.
    In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Appilcations (OOPSLA), Vancouver, Canada. October 2004.

Posters & Extended Abstracts

  1. Inference and Declaration of Independence: Impact on Deterministic Task Parallelism
    Foivos S Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas and Dimitrios S Nikolopoulos.
    International Conference on Parallel Architectures and Compilation Techniques (PACT), Poster abstract, Minneapolis, MN, USA. September 2012.
  2. BDDT: Block-level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism
    George Tzenakis, Angelos Papatriantafyllou, John Kesapides, Polyvios Pratikakis, Hans Vandierendonck and Dimitrios S Nikolopoulos.
    Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programmming (PPOPP), pages 301-302, Poster abstract, New Orleans, LA, USA. February 2012.

Technical Reports

  1. BDDT-SCC: A Task-parallel Runtime for Non Cache-Coherent Multicores
    Alexandros Labrineas, Polyvios Pratikakis, Dimitrios S Nikolopoulos, Angelos Bilas.
    arXiv:1606.04288, 2016.
  2. Myrmics: Scalable, Dependency-aware Task Scheduling on Heterogeneous Manycores
    Spyros Lyberis, Polyvios Pratikakis, Iakovos Mavroidis, Dimitrios S Nikolopoulos.
    arXiv:1606.04282, 2016
  3. DiSquawk: 512 cores, 512 memories, 1 JVM
    Foivos S Zakkak and Polyvios Pratikakis
    Technical Report TR-Jun-470, FORTH-ICS, 2016.
  4. Practical Information Flow for Legacy Web Applications
    Georgios Chinis, Polyvios Pratikakis, Elias Athanasopoulos, and Sotiris Ioannidis.
    Technical Report TR-Apr-428, FORTH-ICS, 2012.
  5. BDDT: Block-level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism
    George Tzenakis, Angelos Papatriantafyllou, Foivos S Zakkak, Hans Vandierendonck, Polyvios Pratikakis, and Dimitrios S Nikolopoulos.
    Technical Report TR-Feb-426, FORTH-ICS, 2012.
  6. Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
    Iulian Neamtiu, Michael Hicks, Jeffrey S Foster, Polyvios Pratikakis.
    Technical Report CS-TR-4920, Department of Computer Science, University of Maryland, 2007.
  7. Context-sensitive Correlation Analysis for Detecting Races
    Polyvios Pratikakis, Jeffrey S Foster, and Michael Hicks.
    Technical Report CS-TR-4789, Department of Computer Science, University of Maryland, April 2006.
  8. Existential Label Flow Inference via CFL Reachability.
    Polyvios Pratikakis, Michael Hicks, and Jeffrey S Foster.
    Technical Report CS-TR-4700, Department of Computer Science, University of Maryland, July 2005.
  9. Transparent Proxies for Java Futures.
    Polyvios Pratikakis, Jaime Spacco, and Michael Hicks.
    Technical Report CS-TR-4574, Department of Computer Science, University of Maryland, October 2004.

Ph.D. Dissertation