Software
Publications
Static Safety Guarantees for a Low-level Multithreaded Language with Regions
Science of Computer Programming, Elsevier, accepted for publication, to appear.
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
A Type and Effect System for Deadlock Avoidance in Low-level Languages
TLDI Jan 2011, Austin, Texas, USA
Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
TLDI Jan 2010, Madrid Spain
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
A Mechanized Proof of Type Safety for the Polymorphic Lambda Calculus with References
In 6th Panhellenic Logic Symposium, July 2007
Workshops
Dynamic Deadlock Avoidance in Systems Code Using Statically Inferred Effects
To appear in PLOS 2011, Cascais Portugal
A Concurrent Language with a Uniform Treatment of Regions and Locks
In PLACES 2009, York UK
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
In PLACES 2010, Paphos Cyprus
Technical Reports
Static Safety Guarantees for Concurrent Programming Languages
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Race-free and Memory-safe Multithreading: Design and Implementation in Cyclone
A Concurrent Language with a Uniform Treatment of Regions and Locks
A Type-System for Race-free and Memory-safe Multithreading Using Region Hierarchies
An outdated implementation of Reglock