• Sign in
  • Sign up
conf.researchr.org / Lorenzo Gheri
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2023 profile
  • PLDI 2021 profile
  • POPL 2019 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
No Photo

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
xTue 20 May 06:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up