25 citations · 59 across the 17 of their papers we have counts for
7 papers · 1 filter
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
Ornela Dardha, Valentina Castiglioni
This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational…
Papaya: Global Typestate Analysis of Aliased Objects Extended Version
Mathias Jakobsen, Alice Ravier, Ornela Dardha
Typestates are state machines used in object-oriented programming to specify and verify correct order of method calls on an object. To avoid inconsistent object states, typestates…
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Paul Harvey, Simon Fowler, Ornela Dardha +1
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of…
Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha +2
This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and stro…
Deadlock-Free Session Types in Linear Haskell
Wen Kokke, Ornela Dardha
Priority Sesh is a library for session-typed communication in Linear Haskell which offers strong compile-time correctness guarantees. Priority Sesh offers two deadlock-free APIs fo…
Row-Polymorphic Types for Strategic Rewriting
Rongxiao Fu, Xueying Qin, Ornela Dardha +1
We present a type system for strategy languages that express program transformations as compositions of rewrite rules. Our row-polymorphic type system assists compiler engineers to…
Prioritise the Best Variation
Wen Kokke, Ornela Dardha
Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical…