Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hernan Melgratti
conf.researchr.org general profile
* ICSE 2018 * profile
ECOOP 2025 profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 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
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
Wed 28 May 17:09
