• Sign in
  • Sign up
conf.researchr.org / Ornela Dardha
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2019 profile
  • POPL 2023 profile
  • SPLASH 2020 profile
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

POPL 2023 Committee Member in Program Committee within the POPL-track
ICFP 2022 Committee Member in Program Committee within the ICFP Papers-track
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

Share
xWed 25 May 19:17
using conf.researchr.org (v1.55.6)
Support page
Sign Up