Login / Signup
PLACES@ETAPS
2017
2020
2024
2017
2024
Keyphrases
Publications
2024
Thien Udomsrirungruang
,
Nobuko Yoshida
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
PLACES@ETAPS
(2024)
Simon Fowler
,
Philipp Haller
,
Roland Kuhn
,
Sam Lindley
,
Alceste Scalas
,
Vasco T. Vasconcelos
Behavioural Types for Heterogeneous Systems (Position Paper).
PLACES@ETAPS
(2024)
Samuel Cavoj
,
Ivan Nikitin
,
Colin Perkins
,
Ornela Dardha
Session Types for the Transport Layer: Towards an Implementation of TCP.
PLACES@ETAPS
(2024)
Pedro Ângelo
,
Atsushi Igarashi
,
Vasco T. Vasconcelos
Linear Contextual Metaprogramming and Session Types.
PLACES@ETAPS
(2024)
Ilaria Castellani
,
Paola Giannini
Towards a Semantic Characterisation of Global Type Well-formedness.
PLACES@ETAPS
(2024)
volume 401, 2024
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.
PLACES@ETAPS
401 (2024)
2022
Dennis Liew
,
Tiago Cogumbreiro
,
Julien Lange
Provable GPU Data-Races in Static Race Detection.
PLACES@ETAPS
(2022)
Diana Costa
,
Andreia Mordido
,
Diogo Poças
,
Vasco T. Vasconcelos
Higher-order Context-free Session Types in System F.
PLACES@ETAPS
(2022)
Ilaria Castellani
,
Mariangiola Dezani-Ciancaglini
,
Paola Giannini
Asynchronous Sessions with Input Races.
PLACES@ETAPS
(2022)
Daniel Marshall
,
Dominic Orchard
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.
PLACES@ETAPS
(2022)
Matteo Cimini
Lang-n-Send: Processes That Send Languages.
PLACES@ETAPS
(2022)
volume 356, 2022
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022.
PLACES@ETAPS
356 (2022)
2020
Filipe Casal
,
Andreia Mordido
,
Vasco T. Vasconcelos
Mixed Sessions: the Other Side of the Tape.
PLACES@ETAPS
(2020)
Shunsuke Kimura
,
Keigo Imai
Fluent Session Programming in C#.
PLACES@ETAPS
(2020)
Bas van den Heuvel
,
Jorge A. Pérez
Session Type Systems based on Linear Logic: Classical versus Intuitionistic.
PLACES@ETAPS
(2020)
Simon J. Gay
,
Peter Thiemann
,
Vasco T. Vasconcelos
Duality of Session Types: The Final Cut.
PLACES@ETAPS
(2020)
Anson Miu
,
Francisco Ferreira
,
Nobuko Yoshida
,
Fangyi Zhou
Generating Interactive WebSocket Applications in TypeScript.
PLACES@ETAPS
(2020)
Nicolas Dilley
,
Julien Lange
Bounded verification of message-passing concurrency in Go using Promela and Spin.
PLACES@ETAPS
(2020)
volume 314, 2020
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020.
PLACES@ETAPS
314 (2020)
2019
Jonathan King
,
Nicholas Ng
,
Nobuko Yoshida
Multiparty Session Type-safe Web Development with Static Linearity.
PLACES@ETAPS
(2019)
Assel Altayeva
,
Nobuko Yoshida
Service Equivalence via Multiparty Session Type Isomorphisms.
PLACES@ETAPS
(2019)
Bernardo Almeida
,
Andreia Mordido
,
Vasco T. Vasconcelos
FreeST: Context-free Session Types in a Functional Language.
PLACES@ETAPS
(2019)
Jan de Muijnck-Hughes
,
Edwin C. Brady
,
Wim Vanderbauwhede
Value-Dependent Session Design in a Dependently Typed Language.
PLACES@ETAPS
(2019)
Klaas Pruiksma
,
Frank Pfenning
A Message-Passing Interpretation of Adjoint Logic.
PLACES@ETAPS
(2019)
Rosita Gerbo
,
Luca Padovani
Concurrent Typestate-Oriented Programming in Java.
PLACES@ETAPS
(2019)
volume 291, 2019
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019.
PLACES@ETAPS
291 (2019)
2017
Philipp Haller
,
Fredrik Sommar
Towards an Empirical Study of Affine Types for Isolated Actors in Scala.
PLACES@ETAPS
(2017)
Sanjiva Prasad
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines.
PLACES@ETAPS
(2017)
Philipp Haller
,
Ludvig Axelsson
Quantifying and Explaining Immutability in Scala.
PLACES@ETAPS
(2017)
Hendrik Maarand
,
Tarmo Uustalu
Generating Representative Executions [Extended Abstract].
PLACES@ETAPS
(2017)
Eva Graversen
,
Iain Phillips
,
Nobuko Yoshida
Towards a Categorical Representation of Reversible Event Structures.
PLACES@ETAPS
(2017)
Alceste Scalas
,
Nobuko Yoshida
Multiparty Session Types, Beyond Duality (Abstract).
PLACES@ETAPS
(2017)
Elias Castegren
,
Tobias Wrigstad
Actors without Borders: Amnesty for Imprisoned State.
PLACES@ETAPS
(2017)
Francisco Martins
,
Vasco Thudichum Vasconcelos
,
Hans Hüttel
Inferring Types for Parallel Programs.
PLACES@ETAPS
(2017)
volume 246, 2017
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
PLACES@ETAPS
246 (2017)