Papers

  1. Inference and Declaration of Independence: Impact on Deterministic Task Parallelism
    Foivos 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. Parallel Programming
    Hans Vandierendonck, Dimitrios S. Nikolopoulos, and Polyvios Pratikakis.
    Encyclopedia of Software Engineering, Taylor &amb; Francis, 2012.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Existential Label Flow Inference via CFL Reachability.
    Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks.
    Static Analysis Symposium (SAS), Seoul, Korea. August 2006.
  12. 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.
  13. 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.
  14. 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.

Technical Reports

  1. Practical Information Flow for Legacy Web Applications
    Georgios Chinis, Polyvios Pratikakis, Elias Athanasopoulos, and Sotiris Ioannidis.
    Technical Report TR-Apr-428, FORTH-ICS, 2012.
  2. BDDT: Block-level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism"
    George Tzenakis, Angelos Papatriantafyllou, Foivos Zakkak, Hans Vandierendonck, Polyvios Pratikakis, and Dimitrios S. Nikolopoulos.
    Technical Report TR-Feb-426, FORTH-ICS, 2012.
  3. 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.
  4. 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.
  5. 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.
  6. 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