Ping Hou -

Registered user since Mon 15 May 2023

Name:Ping Hou

Country:United Kingdom

Affiliation:University of Oxford

Research interests:Verification, Programming Languages, Distributed Systems, Security, Machine Learning

Contributions

2025

ECOOP

Committee Member in Programme Committee within the Technical Papers-track

2024

ECOOP

Author of Fearless Asynchronous Communications with Timed Multiparty Session Protocols within the Technical Papers-track

PLAID

Author of Less is More Revisited: Global Specification and Local Verification Approaches within the PLAID 2024-track

2023

ECOOP

Author of Designing Asynchronous Multiparty Protocols with Crash-Stop Failures within the Research Papers-track