Prodromos Gerakios

According to our database, Prodromos Gerakios authored at least 10 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Foo: a minimal modern OO calculus.

Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014

Static safety guarantees for a low-level multithreaded language with regions.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Sci. Comput. Program., 2014

2013

Forsaking inheritance: supercharged delegation in DelphJ.

Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Reified type parameters using Java annotations.

Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό

Prodromos Gerakios

PhD thesis, 2012

2011

A type and effect system for deadlock avoidance in low-level languages.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Dynamic deadlock avoidance in systems code using statically inferred effects.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

2010

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Race-free and memory-safe multithreading: design and implementation in cyclone.

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

2009

A Concurrent Language with a Uniform Treatment of Regions and Locks

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009