Hernan Melgratti -

Registered user since Fri 2 Mar 2018

Name:Hernan Melgratti

Affiliation:University of Buenos Aires, Argentina

Contributions

2027

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

2026

ECOOP

Author of Compositional Design, Implementation, and Verification of Swarms within the Technical Papers-track
PC Member in Programme Committee within the Technical Papers-track

FM

Committee Member in Program Committee within the Research Track-track

‹Programming›

Author of JoinActors: A Modular Library for Actors with Join Patterns within the Research Papers-track

2025

PLF

Author of Compositional Implementation and Verification of Swarms - A Tool Demo within the PLF+PLAID-track

2024

ECOOP

Author of Fair join pattern matching for actors within the Technical Papers-track

PLAID

Author of Fair Join Pattern Matching for Actors within the PLAID 2024-track

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track

NWPT

Author of A New Take on Join Patterns within the NWPT 2023-track

ECOOP

Author of Behavioural Types for Local-First Software within the Research Papers-track

2022

FormaliSE

Committee Member in Program Committee within the FormaliSE 2022-track

2021

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

2019

BEHAPI

BEAT

Committee Member in Program Committee within the BEAT 2019-track

2018

ICFP

Committee Member in External Review Committee within the Research Papers-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2018-track

2017

ICFP

Author of Chaperone Contracts for Higher-Order Sessions within the Research Papers-track