ST30 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (51)

B Lorenzo BacchianiBacchiani, Lorenzo Behavioural up/down casting for statically typed languages
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Future Directions for Session Types
Jesper BengtsonBengtson, Jesper IT University of Copenhagen, Denmark Mechanising Multiparty Session Types: A Sound and Complete Projection
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioural up/down casting for statically typed languages
C Luís CairesCaires, Luís INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Future Directions for Session Types Labelled Tensor Types in Session Based Programming
Marco CarboneCarbone, Marco IT University of Copenhagen Mechanising Multiparty Session Types: A Sound and Complete Projection The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Ilaria CastellaniCastellani, Ilaria INRIA Sophia Antipolis, FranceFrance Using Event Structures to model Multiparty Session Types: results and open problems Multiparty Reactive Sessions Committee Member in Organizing Committee within the ST30 -track
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom The Concurrent Calculi Formalisation Benchmark
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited Kingdom Classical Processes in modern dress
Diana CostaCosta, Diana LASIGE, University of LisbonPortugal Session Chair of ST30 Day 1 Session 4 (part of ST30 ) Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
D Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Future Directions for Session Types Towards Session-Typed Consensus PC Member in Programme Committee within the ST30 -track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly PC Member in Programme Committee within the ST30 -track
Cinzia Di GiustoDi Giusto, Cinzia Université Côte d'Azur; CNRSFrance Multiparty Reactive Sessions
E Demetrios G. EliadesEliades, Demetrios G. A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
F Francisco FerreiraFerreira, Francisco Royal Holloway, University of London The Concurrent Calculi Formalisation Benchmark
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session-Based Typechecking for Elixir Modules Using ElixirST
G Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Session Chair of ST30 Day 2 Session 4 - Panel session (part of ST30 ) Classical Processes in modern dress What we learned from writing a book about session types Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom The Concurrent Calculi Formalisation Benchmark
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Using Event Structures to model Multiparty Session Types: results and open problems
Marco GiuntiGiunti, Marco Nova University of LisbonPortugal Behavioural up/down casting for statically typed languages
H Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Future Directions for Session Types
J Frederik Krogsdal JacobsenJacobsen, Frederik Krogsdal Technical University of DenmarkDenmark The Concurrent Calculi Formalisation Benchmark
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands PC Member in Programme Committee within the ST30 -track
K Wen KokkeKokke, Wen University of Edinburgh PC Member in Programme Committee within the ST30 -track
Dimitrios KouzapasKouzapas, Dimitrios University of Cyprus A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
L Matthew Alan Le BrunLe Brun, Matthew Alan University of GlasgowMalta Towards Session-Typed Consensus
Elaine LiLi, Elaine NYUUnited States Complete Multiparty Session Type Projection with Automata
M Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano The Concurrent Calculi Formalisation Benchmark
João MotaMota, João NOVA School of Science and Technology Behavioural up/down casting for statically typed languages
N Rumyana NeykovaNeykova, Rumyana Brunel University London PC Member in Programme Committee within the ST30 -track
P Luca PadovaniPadovani, Luca University of CamerinoItaly The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Kirstin PetersPeters, Kirstin Augsburg UniversityGermany Session Chair of ST30 Day 1 Session 1 (part of ST30 ) Asynchronous and Synchronous Mixed Sessions Committee Member in Programme Committee within the ST30 -track
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Session Chair of ST30 Day 2 Session 2 (part of ST30 ) So what's the difference between a session type and an ordinary type anyway? PC Member in Programme Committee within the ST30 -track
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands The Expressiveness of Session Types Multiparty Reactive Sessions PC Member in Programme Committee within the ST30 -track
R António RavaraRavara, António Nova University of LisbonPortugal Session Chair of ST30 Day 2 Session 3 (part of ST30 ) Behavioural up/down casting for statically typed languages PC Member in Programme Committee within the ST30 -track
S Alceste ScalasScalas, Alceste DTUDenmark Session Chair of ST30 Day 2 Session 1 (part of ST30 ) The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Janek SpadernaSpaderna, Janek University of Freiburg, Germany A silent semantics for isorecursive session types
Felix StutzStutz, Felix MPI-SWS Complete Multiparty Session Type Projection with Automata
T Gerard TaboneTabone, Gerard University of MaltaMalta Session-Based Typechecking for Elixir Modules Using ElixirST
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of ST30 Day 1 Session 3 (part of ST30 ) A silent semantics for isorecursive session types PC Member in Programme Committee within the ST30 -track
Dawit TiroreTirore, Dawit IT University of Copenhagen, Denmark Mechanising Multiparty Session Types: A Sound and Complete Projection
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal PC Member in Programme Committee within the ST30 -track
U Cristian UrleaUrlea, Cristian CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
V Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Session Chair of ST30 Day 1 Session 2 - Invited talk (part of ST30 ) What we learned from writing a book about session types A silent semantics for isorecursive session types
Martin VassorVassor, Martin University of Oxford, UK Benchmarks for Multiparty Session Types The Concurrent Calculi Formalisation Benchmark
Adriana Laura VoineaVoinea, Adriana Laura CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
W Thomas WiesWies, Thomas New York UniversityUnited States Complete Multiparty Session Type Projection with Automata
Y Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Asynchronous and Synchronous Mixed Sessions Benchmarks for Multiparty Session Types Beyond Types for Dyadic Interaction The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Z Damien ZuffereyZufferey, Damien SonarSourceSwitzerland Complete Multiparty Session Type Projection with Automata