Software


  • Deadlock avoidance tool
  • Concurrent Cyclone

    Publications

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    Static Safety Guarantees for a Low-level Multithreaded Language with Regions
    Science of Computer Programming, Elsevier, accepted for publication, to appear.

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering (Extended version)
    Post-Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Electronic Notes in Theoretical Computer Science, 2011

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Type and Effect System for Deadlock Avoidance in Low-level Languages
    TLDI Jan 2011, Austin, Texas, USA


  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
    TLDI Jan 2010, Madrid Spain

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Concurrent Language with a Uniform Treatment of Regions and Locks (Extended version)
    Post-Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Electronic Notes in Theoretical Computer Science, 2009

  • Michalis A. Papakyriakou, Prodromos E. Gerakios and Nikolaos S. Papaspyrou
    A Mechanized Proof of Type Safety for the Polymorphic Lambda Calculus with References
    In 6th Panhellenic Logic Symposium, July 2007


    Workshops


  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas, Panagiotis Vekris
    Dynamic Deadlock Avoidance in Systems Code Using Statically Inferred Effects
    To appear in PLOS 2011, Cascais Portugal


  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Concurrent Language with a Uniform Treatment of Regions and Locks
    In PLACES 2009, York UK

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
    In PLACES 2010, Paphos Cyprus


    Technical Reports


  • PhD Thesis
    Static Safety Guarantees for Concurrent Programming Languages

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Concurrent Language with a Uniform Treatment of Regions and Locks

  • Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
    A Type-System for Race-free and Memory-safe Multithreading Using Region Hierarchies
    An outdated implementation of Reglock