Concepedia

Prodromos Gerakios

PG

3

Publications

46

Citations

3

H-Index

2010

Active since

Affiliations

National Technical University of Athens(Current)

Prodromos Gerakios is an author at National Technical University of Athens specializing in formal methods, formal verification, and system software.

Top concepts

Publications per year

2010–2011

3

Publications

3

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

Prodromos Gerakios, Nikolaos Papaspyrou · 2011 · 24 citations · Full text

, , +23

Dynamic deadlock avoidance in systems code using statically inferred effects

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas et al. · 2011 · 11 citations · Full text

, , +21

Race-free and memory-safe multithreading

Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas · 2010 · 11 citations · Full text

, , +20

Rows per page

1–3 of 3