Ornela Dardha

According to our database1, Ornela Dardha authored at least 18 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.
Sci. Comput. Program., 2018

Comparing Type Systems for Deadlock-Freedom.
CoRR, 2018

A New Linear Logic for Deadlock-Free Session-Typed Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
Session types revisited.
Inf. Comput., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
DARTS, 2017

Semantic Subtyping for Objects and Classes.
Comput. J., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Type Systems for Distributed Programs: Components and Sessions.
Atlantis Studies in Computing 7, Springer / Atlantis Press, ISBN: 978-94-6239-204-5, 2016

Typechecking protocols with Mungo and StMungo.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015
Type Systems for Distributed Programs: Session Communication.
Bulletin of the EATCS, 2015

Comparing Deadlock-Free Session Typed Processes.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

2014
Type Systems for Distributed Programs: Components and Sessions.
PhD thesis, 2014

Recursive Session Types Revisited.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

On Duality Relations for Session Types.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Progress as Compositional Lock-Freedom.
Proceedings of the Coordination Models and Languages, 2014

2013
A Type System for Components.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Semantic Subtyping for Objects and Classes.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
Session types revisited.
Proceedings of the Principles and Practice of Declarative Programming, 2012


  Loading...