Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lorenzo Gheri
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2023 profile
PLDI 2021 profile
POPL 2019 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Mon 5 Nov 2018
Name:
Lorenzo Gheri
Country:
United Kingdom
Affiliation:
University of Liverpool
Contributions
2024
SPLASH
Committee Member in Reviewers within the Student Research Competition-track
2023
SPLASH
Author of Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection within the OOPSLA-track
PPDP
Author of Multicompatibility for Multiparty-Session Composition within the PPDP 2023-track
ST
Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track
ECOOP
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
2022
ECOOP
Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
2021
PLDI
Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
2019
POPL
Author of Bindings as Bounded Natural Functors within the Research Papers-track
Share
x
Tue 20 May 06:40
