Lorenzo Gheri

17 papers A* 1A 1B 1C 2Misc 1Journal 10
YearRankTypeTitle / Venue / Authors
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
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
2023 J jnl
Hybrid Multiparty Session Types - Full Version.
CoRR
Lorenzo Gheri, Nobuko Yoshida
2023 J jnl
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.
Proc. ACM Program. Lang.
Lorenzo Gheri, Nobuko Yoshida
2023 C conf
Multicompatibility for Multiparty-Session Composition.
PPDP
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
2022 A conf
Design-By-Contract for Flexible Multiparty Session Protocols.
ECOOP
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).
Dagstuhl Artifacts Ser.
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2022 J jnl
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.
CoRR
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
2021 J jnl
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS.
CoRR
Lorenzo Gheri, Andrei Popescu
2021 J jnl
Zooid: a DSL for Certified Multiparty Computation.
CoRR
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2021 A* conf
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
PLDI
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
2020 J jnl
A Formalized General Theory of Syntax with Bindings: Extended Version.
J. Autom. Reason.
Lorenzo Gheri, Andrei Popescu
2020 Misc conf
A Very Gentle Introduction to Multiparty Session Types.
ICDCIT
Nobuko Yoshida, Lorenzo Gheri
2019 J jnl
A General Theory of Syntax with Bindings.
Arch. Formal Proofs
Lorenzo Gheri, Andrei Popescu
2019 — —
A general theory of syntax with bindings.
Lorenzo Gheri
2019 J jnl
Bindings as bounded natural functors.
Proc. ACM Program. Lang.
Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel
2017 B conf
A Formalized General Theory of Syntax with Bindings.
ITP
Lorenzo Gheri, Andrei Popescu
2017 J jnl
A Formalized General Theory of Syntax with Bindings.
CoRR
Lorenzo Gheri, Andrei Popescu