Prodromos Gerakios

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Programming Language

Access Control Systems

Adjustable Autonomy

Top Venues

Sci. Comput. Program.

Publications

Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis
Foo: a minimal modern OO calculus. FTfJP@ECOOP (2015)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
Static safety guarantees for a low-level multithreaded language with regions. Sci. Comput. Program. 80 (2014)
Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
Reified type parameters using Java annotations. GPCE (2013)
Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis
Forsaking inheritance: supercharged delegation in DelphJ. OOPSLA (2013)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris
Dynamic deadlock avoidance in systems code using statically inferred effects. PLOS@SOSP (2011)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A type and effect system for deadlock avoidance in low-level languages. TLDI (2011)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering PLACES (2010)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI (2010)
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A Concurrent Language with a Uniform Treatment of Regions and Locks PLACES (2009)