Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with
PLDI 2021
Toggle navigation
Attending
Venue: Online
Venue: Online
Sponsoring HOPL IV
Accommodation
Visa
Registration
Program
HOPL IV Program
Your Program
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Track/Call
Organization
HOPL IV Committees
Organizing Committee
Steering Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2021
(
series
) /
HOPL IV
(
series
) /
Lorenzo Gheri
PLDI 2021 profile
conf.research.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2023 profile
POPL 2019 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Mon 5 Nov 2018
Name:
Lorenzo Gheri
Country:
United Kingdom
Affiliation:
Imperial College London
Contributions
2021
PLDI
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
Show activities from other conferences
Share
PLDI 2021-profile
View general profile
x
Fri 27 Dec 02:20