POPL 2019 (series) / OPCT 2019 (series) / OPCT 2019 /
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Mon 14 Jan 2019 16:50 - 17:15 at Sala VII - Concurrent Programming, Memory Models Chair(s): Gustavo Petri
| Slides (main.pdf) | 941KiB |
I am a Marie-Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.
From 2017 to 2018 was a Research Associate in Philippa Gardner’s group at Imperial College London. From 2015 to 2017 I was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer.
In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford. My supervisor was Prof. C.-H. Luke Ong. My dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.
Mon 14 JanDisplayed time zone: Belfast change
Mon 14 Jan
Displayed time zone: Belfast change
16:00 - 17:15 | Concurrent Programming, Memory ModelsOPCT at Sala VII Chair(s): Gustavo Petri IRIF, Université Paris Diderot | ||
16:00 25mTalk | Linearizability in the Context of Weak Memory Models OPCT Kirsten Winter The University of Queensland File Attached | ||
16:25 25mTalk | IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases OPCT Carla Ferreira Universidade Nova Lisboa | ||
16:50 25mTalk | Compositional Reasoning for Termination of Fine-grained Concurrent Programs OPCT Emanuele D'Osualdo Imperial College London, UK Pre-print File Attached | ||
