Ornela Dardha -

Registered user since Mon 30 Jul 2018

Name:Ornela Dardha

Country:United Kingdom

Affiliation:University of Glasgow

Personal website:http://www.dcs.gla.ac.uk/~ornela/

Research interests:programming languages, concurrency, logic, verification

Contributions

TyDe 2021	Author of Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) within the TyDe 2021-track Committee Member in Program Committee within the TyDe 2021-track
Haskell 2021	Author of Deadlock-Free Session Types in Linear Haskell within the Haskell 2021-track
ECOOP 2021	Author of Multiparty Session Types for Safe Runtime Adaptation in an Actor Language within the ECOOP Technical Papers-track Author of Multiparty Session Types for Safe Runtime Adaptation in an Actor Language within the ECOOP Artifacts-track
SPLASH 2020	Mentor in Mentors within the PLMW-track
PADL 2019	Committee Member in Program Committee within the PADL 2019-track
BEHAPI 2019	Author of Binary Session Types in Coq within the BEHAPI-track
PLACES 2019	Session Chair of II (part of PLACES) Committee Member in Program Committee within the PLACES-track
ECOOP 2017	Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track