Lorenzo Gheri

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Benchmark Suite

Protocol Specification

Gentle Introduction

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Lorenzo Gheri, Nobuko Yoshida
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
Multicompatibility for Multiparty-Session Composition. PPDP (2023)
Lorenzo Gheri, Nobuko Yoshida
Hybrid Multiparty Session Types - Full Version. CoRR (2023)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. PLDI (2021)
Lorenzo Gheri, Andrei Popescu
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS. CoRR (2021)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for Certified Multiparty Computation. CoRR (2021)
Nobuko Yoshida, Lorenzo Gheri
A Very Gentle Introduction to Multiparty Session Types. ICDCIT (2020)
Lorenzo Gheri, Andrei Popescu
A Formalized General Theory of Syntax with Bindings: Extended Version. J. Autom. Reason. 64 (4) (2020)
Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel
Bindings as bounded natural functors. Proc. ACM Program. Lang. 3 (POPL) (2019)
Lorenzo Gheri, Andrei Popescu
A General Theory of Syntax with Bindings. Arch. Formal Proofs 2019 (2019)
Lorenzo Gheri, Andrei Popescu
A Formalized General Theory of Syntax with Bindings. ITP (2017)
Lorenzo Gheri, Andrei Popescu
A Formalized General Theory of Syntax with Bindings. CoRR (2017)