PLAID 2024 Contributors

Mon 16 - Fri 20 September 2024 Vienna, Austria

co-located with ISSTA/ECOOP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Duncan Paul AttardAttard, Duncan Paul University of GlasgowUnited Kingdom Runtime Instrumentation for Reactive Components
B Bruno BragaBraga, Bruno NOVA University LisbonPortugal Local Projections of DCR Choreographies with Data and Spawn
C João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Local Projections of DCR Choreographies with Data and Spawn Organizing Committee in Organizing Committee within the PLAID-track
Heming CuiCui, Heming University of Hong Kong CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
D Simon DanielDaniel, Simon TU DarmstadtGermany Library Based Choreographies in Lean
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Modal Crash Types for Intermittent Computing
Myra DotzelDotzel, Myra Carnegie Mellon UniversityUnited States Modal Crash Types for Intermittent Computing
F Nuno FernandesFernandes, Nuno NOVA University LisbonPortugal Local Projections of DCR Choreographies with Data and Spawn
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Organizing Committee in Organizing Committee within the PLAID-track
Florian FurbachFurbach, Florian Technical University of DenmarkDenmark Compositional Verification of Swarm Protocols
G Eduardo GeraldoGeraldo, Eduardo Local Projections of DCR Choreographies with Data and Spawn
Ruijie GongGong, Ruijie The University of Hong Kong, Hong KongHong Kong SAR China CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Fair Join Pattern Matching for Actors
Ping HouHou, Ping University of Oxford Less is More Revisited: Global Specification and Local Verification Approaches
Ayman HusseinHussein, Ayman Technical University of DenmarkDenmark Fair Join Pattern Matching for Actors
J Limin JiaJia, Limin Carnegie Mellon University Modal Crash Types for Intermittent Computing
K Iona KuhnKuhn, Iona University of OxfordUnited Kingdom Less is More Revisited: Global Specification and Local Verification Approaches
Roland KuhnKuhn, Roland Actyx AGGermany Compositional Verification of Swarm Protocols Organizing Committee in Organizing Committee within the PLAID-track
L João LeitãoLeitão, João NOVA LINCS & FCT, NOVA University of LisbonPortugal Organizing Committee in Organizing Committee within the PLAID-track
M Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Fair Join Pattern Matching for Actors
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Library Based Choreographies in Lean
P Nuno PreguicaPreguica, Nuno Organizing Committee in Organizing Committee within the PLAID-track
R David RichterRichter, David Technical University of DarmstadtGermany Library Based Choreographies in Lean
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Opening remarks Fair Join Pattern Matching for Actors Compositional Verification of Swarm Protocols Organizing Committee in Organizing Committee within the PLAID-track
Haoze SongSong, Haoze The University of Hong Kong, Hong KongHong Kong SAR China CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
Milijana SurbatovichSurbatovich, Milijana University of Maryland Modal Crash Types for Intermittent Computing
T Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Fair Join Pattern Matching for Actors Compositional Verification of Swarm Protocols
Y Diogo YeYe, Diogo NOVA University Lisbon Local Projections of DCR Choreographies with Data and Spawn
Nobuko YoshidaYoshida, Nobuko University of Oxford, UKUnited Kingdom Less is More Revisited: Global Specification and Local Verification Approaches Organizing Committee in Organizing Committee within the PLAID-track