dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Konstantinos F. Sagonas (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A type and effect system for deadlock avoidance in low-level languages. TLDI 2011: 15-28
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLProdromos 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: Race-free and memory-safe multithreading: design and implementation in cyclone. TLDI 2010: 15-26
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLProdromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas: A Concurrent Language with a Uniform Treatment of Regions and Locks PLACES 2009: 79-93

Selection of 4 from 83 records - Konstantinos F. Sagonas has 46 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page