Följ
Ornela Dardha
Ornela Dardha
Senior Lecturer (Associate Professor) at the School of Computing Science, University of Glasgow
Verifierad e-postadress på glasgow.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Session Types Revisited
O Dardha, E Giachino, D Sangiorgi
Principles and Practice of Declarative Programming, PPDP, 139--150, 2012
1662012
A linear decomposition of multiparty sessions for safe distributed programming
A Scalas, O Dardha, R Hu, N Yoshida
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
732017
Typechecking Protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
International Symposium on Principles and Practice of Declarative …, 2016
472016
A new linear logic for deadlock-free session-typed processes
O Dardha, SJ Gay
Foundations of Software Science and Computation Structures: 21st …, 2018
442018
On Duality Relations for Session Types
G Bernardi, O Dardha, S Gay, D Kouzapas
Trustworthy Global Computing, TGC 8902, 51-66, 2014
422014
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
342018
Progress as Compositional Lock-Freedom
M Carbone, O Dardha, F Montesi
International Conference on Coordination Languages and Models, COORDINATION …, 2014
322014
Recursive Session Types Revisited
O Dardha
Workshop on Behavioural Types, BEAT 162, 2014
302014
Comparing Deadlock-Free Session Typed Processes
O Dardha, JA Pérez
22th International Workshop on Expressiveness in Concurrency and 12th …, 2015
262015
Multiparty session types for safe runtime adaptation in an actor language
P Harvey, S Fowler, O Dardha, SJ Gay
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
182021
Deadlock-free session types in linear Haskell
W Kokke, O Dardha
Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 1-13, 2021
162021
Type Systems for Distributed Programs: Components and Sessions
O Dardha
Springer / Atlantis Press 7, XXII, 192, 2016
162016
Type Systems for Distributed Programs: Components and Sessions
O Dardha
University of Bologna, 2014
162014
Semantic Subtyping for Objects and Classes
O Dardha, D Gorla, D Varacca
Comput. J. 60 (5), 636--656, 2017
15*2017
Prioritise the best variation
W Kokke, O Dardha
Formal Techniques for Distributed Objects, Components, and Systems: 41st …, 2021
132021
Semantic Subtyping for Objects and Classes
O Dardha, D Gorla, D Varacca
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International …, 2013
132013
Separating sessions smoothly
S Fowler, W Kokke, O Dardha, S Lindley, JG Morris
arXiv preprint arXiv:2105.08996, 2021
112021
Typechecking java protocols with [st] mungo
AL Voinea, O Dardha, SJ Gay
Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
102020
A linear decomposition of multiparty sessions for safe distributed programming (artifact)
A Scalas, O Dardha, R Hu, N Yoshida
DARTS-Dagstuhl Artifacts Series 3, 2017
102017
Comparing type systems for deadlock freedom
O Dardha, JA Pérez
Journal of Logical and Algebraic Methods in Programming 124, 100717, 2022
92022
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20