A Concurrent Language with a Uniform Treatment of Regions and Locks - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (PLACES, 2009)

Race-free and memory-safe multithreading: design and implementation in cyclone. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (TLDI, 2010)

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (PLACES, 2010)

Dynamic deadlock avoidance in systems code using statically inferred effects. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas; Panagiotis Vekris (PLOS@SOSP, 2011)

A type and effect system for deadlock avoidance in low-level languages. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (TLDI, 2011)

Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό - Prodromos Gerakios (2012)

Reified type parameters using Java annotations. - Prodromos Gerakios; Aggelos Biboudis; Yannis Smaragdakis (GPCE, 2013)

Forsaking inheritance: supercharged delegation in DelphJ. - Prodromos Gerakios; Aggelos Biboudis; Yannis Smaragdakis (OOPSLA, 2013)

Static safety guarantees for a low-level multithreaded language with regions. - Prodromos Gerakios; Nikolaos Papaspyrou; Konstantinos Sagonas (Sci. Comput. Program., 2014)

Foo: a minimal modern OO calculus. - Prodromos Gerakios; George Fourtounis; Yannis Smaragdakis (FTfJP@ECOOP, 2015)