Prodromos Gerakios

	2011
4		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28
	2010
3		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering PLACES 2010: 44-58
2		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26
	2009
1		Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Concurrent Language with a Uniform Treatment of Regions and Locks PLACES 2009: 79-93

Coauthor Index

1	Nikolaos S. Papaspyrou (Nikolaos Papaspyrou)	[1] [2] [3] [4]
2	Konstantinos F. Sagonas	[1] [2] [3] [4]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page