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

Affiliation

Name

Results (32)

Bernardo Almeida Universidade de Lisboa Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019
Assel Altayeva Imperial College London United Kingdom Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track in PLACES 2019
Stephanie Balzer Carnegie Mellon University United States Author of Keynote: Shared Session Types for Safe, Practical Concurrency within the PLACES-track in PLACES 2019
Edwin Brady University of St. Andrews, UK United Kingdom Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019
Tiago Cogumbreiro University of Massachusetts Boston United States Committee Member in Program Committee within the PLACES-track
Ornela Dardha University of Glasgow United Kingdom Session Chair of II (part of PLACES) Committee Member in Program Committee within the PLACES-track
Francisco Ferreira Imperial College London Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019
Simon Fowler The University of Edinburgh United Kingdom Committee Member in Program Committee within the PLACES-track
Adrian Francalanza University of Malta Malta Committee Member in Program Committee within the PLACES-track
Rosita Gerbo Università di Torino Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track in PLACES 2019
Jonathan King Habito and Imperial College London Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019
Hai Liu DFINITY United States Committee Member in Program Committee within the PLACES-track
Michele Loreti University of Camerino Italy Committee Member in Program Committee within the PLACES-track
Stefan Marr University of Kent United Kingdom Committee Member in Program Committee within the PLACES-track
Francisco Martins University of Lisbon Portugal 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 Mordido Lasige / Faculty of Sciences, Universidade de Lisboa Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019
Rumyana Neykova Brunel University London United Kingdom Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019 Committee Member in Program Committee within the PLACES-track
Nicholas Ng Imperial College London United Kingdom Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019
Dominic Orchard University of Kent, UK United Kingdom PC Chair in Program Committee within the PLACES-track PC Chair in Organizing Committee within the PLACES-track
Luca Padovani University of Turin Italy Author of Concurrent Typestate-Oriented Programming in Java within the PLACES-track in PLACES 2019
Frank Pfenning Carnegie Mellon University, USA Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track in PLACES 2019
Ivan Prokić University of Novi Sad Author of The Cpi-calculus: a Model for Confidential Name Passing within the PLACES-track in PLACES 2019
Klaas Pruiksma Carnegie Mellon University Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track in PLACES 2019
Antonio Ravara NOVA University of Lisbon and NOVA LINCS Portugal Committee Member in Program Committee within the PLACES-track
Malavika Samak CSAIL, MIT United States Committee Member in Program Committee within the PLACES-track
Vivek Sarkar Rice University, USA United States Author of Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification within the PLACES-track in PLACES 2019
Wim Vanderbauwhede University of Glasgow Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019
Vasco T. Vasconcelos University of Lisbon, Portugal Author of FreeST: context-free session types in a functional language within the PLACES-track in PLACES 2019
Vasco Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon Portugal Session Chair of III (part of PLACES)
Nobuko Yoshida Imperial College London Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019 Author of Multiparty session type-safe web development with static linearity within the PLACES-track in PLACES 2019 Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track in PLACES 2019
Fangyi Zhou Imperial College London Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track in PLACES 2019
Jan de Muijnck-Hughes University of Glasgow United Kingdom Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track in PLACES 2019