Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hernan Melgratti
conf.researchr.org general profile
* ICSE 2018 * profile
ECOOP 2025 profile
ECOOP 2026 profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
FM 2026 profile
ICFP 2017 profile
ICFP 2018 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ISSTA/ECOOP 2024 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2019 profile
Registered user since Fri 2 Mar 2018
Name:
Hernan Melgratti
Affiliation:
University of Buenos Aires, Argentina
Contributions
2026
ECOOP
PC Member in Programme Committee within the Technical Papers-track
FM
Committee Member in Program Committee within the Research Track-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
Committee Member in Organizing Committee within the BEHAPI-track
PC Member in Program Committee within the BEHAPI-track
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
Share
x
Sun 26 Oct 19:53