Laura Bocchi -

Registered user since Thu 7 Mar 2019

Name:Laura Bocchi

Country:United Kingdom

Affiliation:University of Kent

Personal website: https://www.cs.kent.ac.uk/people/staff/lb514/

Contributions

2024

Erlang

Author of Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors within the Erlang-track
Programme Committee in Program Committee within the Erlang-track

PEPM

Committee Member in Program Committee within the PEPM 2024-track

2023

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

Erlang

PC Member in Program Committee within the Erlang 2023-track

‹Programming›

Author of A Theory of Composing Protocols within the Research Papers-track

2021

AGERE

Author of A model of actors and grey failures within the AGERE 2021-track

Erlang

PC Member in Program Committee within the Erlang 2021-track

2019

BEHAPI

ESOP

Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track

BEAT

Committee Member in Program Committee within the BEAT 2019-track

2018

Erlang

Committee Member in Program Committee within the Erlang 2018-track