AGERE 2021 Contributors

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

co-located with SPLASH 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (27)

A Marco AutiliAutili, Marco University of L'Aquila, ItalyItaly Committee Member in Program Committee within the AGERE-track
B Laura BocchiBocchi, Laura University of KentUnited Kingdom A model of actors and grey failures
C Elias CastegrenCastegren, Elias Uppsala University, SwedenSweden Session Chair of Opening and keynote (part of AGERE) Opening Closing Committee Member in Organizing Committee within the AGERE-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Committee Member in Program Committee within the AGERE-track
D Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Session Chair of Safety and Failures (part of AGERE) Opening Closing Committee Member in Organizing Committee within the AGERE-track
Sophia DrossopoulouDrossopoulou, Sophia Facebook and Imperial College LondonUnited Kingdom Committee Member in Program Committee within the AGERE-track
F Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of Behavioural Types (part of AGERE) Opening Closing Committee Member in Organizing Committee within the AGERE-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Types in Elixir
G Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs Committee Member in Program Committee within the AGERE-track
J Nadeem JamaliJamali, Nadeem Committee Member in Program Committee within the AGERE-track
L Julien LangeLange, Julien Royal Holloway University of London A model of actors and grey failures
M Stefan MarrMarr, Stefan University of KentUnited Kingdom Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation
P Jorge A. PérezPérez, Jorge A. University of Groningen, The NetherlandsNetherlands Towards Practical Protocol Verification via Minimal Orchestration in ACP
R Srivatsan RaviRavi, Srivatsan University of Southern California Committee Member in Program Committee within the AGERE-track
S Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Program Committee within the AGERE-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee within the AGERE-track
Tim SoethoutSoethout, Tim ING Bank; CWINetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
T Gerard TaboneTabone, Gerard University of MaltaMalta Session Types in Elixir
Simon ThompsonThompson, Simon IOHK, University of Kent, and ELTEUnited Kingdom A model of actors and grey failures
Carmen Torres LopezTorres Lopez, Carmen Vrije Universiteit BrusselBelgium What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Committee Member in Program Committee within the AGERE-track
V Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands Towards Practical Protocol Verification via Minimal Orchestration in ACP
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions Committee Member in Program Committee within the AGERE-track
Louise Van VerreVan Verre, Louise Vrije Universiteit BrusselBelgium What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Committee Member in Program Committee within the AGERE-track
A. Laura VoineaVoinea, A. Laura University of Kent, UKUnited Kingdom A model of actors and grey failures