PLACES 2019 Contributors

Write a Blog >>

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (31)

A Bernardo AlmeidaAlmeida, Bernardo Universidade de Lisboa FreeST: context-free session types in a functional language
Assel AltayevaAltayeva, Assel Imperial College LondonUnited Kingdom Service Equivalence via Multiparty Session Type Isomorphisms
B Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Keynote: Shared Session Types for Safe, Practical Concurrency
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Value-Dependent Session Design in a Dependently Typed Language
C Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Committee Member in Program Committee within the PLACES-track
D Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Session Chair of II (part of PLACES) Committee Member in Program Committee within the PLACES-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Value-Dependent Session Design in a Dependently Typed Language
F Francisco FerreiraFerreira, Francisco Imperial College London Fluid Types: Statically Verified Distributed Protocols with Refinements
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Committee Member in Program Committee within the PLACES-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the PLACES-track
G Rosita GerboGerbo, Rosita Università di Torino Concurrent Typestate-Oriented Programming in Java
K Jonathan KingKing, Jonathan Habito and Imperial College London Multiparty session type-safe web development with static linearity
L Hai LiuLiu, Hai DFINITYUnited States Committee Member in Program Committee within the PLACES-track
Michele LoretiLoreti, Michele University of CamerinoItaly Committee Member in Program Committee within the PLACES-track
M Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the PLACES-track
Francisco MartinsMartins, Francisco University of LisbonPortugal Session Chair of IV (part of PLACES) Session Chair of Session 1 (part of PLACES) PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Andreia MordidoMordido, Andreia Lasige / Faculty of Sciences, Universidade de Lisboa FreeST: context-free session types in a functional language
N Rumyana NeykovaNeykova, Rumyana Brunel University LondonUnited Kingdom Fluid Types: Statically Verified Distributed Protocols with Refinements Committee Member in Program Committee within the PLACES-track
Nicholas NgNg, Nicholas Imperial College LondonUnited Kingdom Multiparty session type-safe web development with static linearity
O Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
P Luca PadovaniPadovani, Luca University of TurinItaly Concurrent Typestate-Oriented Programming in Java
Frank PfenningPfenning, Frank Carnegie Mellon University, USA A Message-Passing Interpretation of Adjoint Logic
Ivan ProkićProkić, Ivan University of Novi Sad The Cpi-calculus: a Model for Confidential Name Passing
Klaas PruiksmaPruiksma, Klaas Carnegie Mellon University A Message-Passing Interpretation of Adjoint Logic
R António RavaraRavara, António NOVA University of Lisbon and NOVA LINCSPortugal Committee Member in Program Committee within the PLACES-track
S Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Program Committee within the PLACES-track
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification
V Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Value-Dependent Session Design in a Dependently Typed Language
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Session Chair of III (part of PLACES) FreeST: context-free session types in a functional language
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Service Equivalence via Multiparty Session Type Isomorphisms Multiparty session type-safe web development with static linearity Fluid Types: Statically Verified Distributed Protocols with Refinements
Z Fangyi ZhouZhou, Fangyi Imperial College London Fluid Types: Statically Verified Distributed Protocols with Refinements