• Sign in
  • Sign up
conf.researchr.org / Pietro Barbieri
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2021 profile
  • FLOPS 2022 profile
  • SPLASH 2020 profile
  • ‹Programming› 2023 profile
Pietro Barbieri

Registered user since Thu 25 Mar 2021

Name:Pietro Barbieri
Country:Italy
Affiliation:Università di Genova
Personal website:https://www.dibris.unige.it/barbieri-pietro
Research interests:Programming Languages

Contributions

‹Programming› 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ECOOP 2022 Author of Elevator Pitches within the Doctoral Symposium-track
Author of Enhancing regular corecursion within the Doctoral Symposium-track
FLOPS 2022 Author of Checked corecursive streams: trading expressive power for reliability within the FLOPS 2022-track
ECOOP 2021 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
ECOOP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track
FTfJP 2020 Author of An inductive abstract semantics for coFJ within the FTfJP-track

Share
xSat 4 Feb 16:31
using conf.researchr.org (v1.58.0)
Support page
Sign Up