• 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

2023

‹Programming›

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track

2022

ECOOP

  • Author of Elevator Pitches within the Doctoral Symposium-track
  • Author of Enhancing regular corecursion within the Doctoral Symposium-track

FLOPS

  • Author of Checked corecursive streams: trading expressive power for reliability within the FLOPS 2022-track

2021

ECOOP

  • Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

2020

ECOOP

  • Author of Sound regular corecursion in coFJ within the Research Papers-track

FTfJP

  • Author of An inductive abstract semantics for coFJ within the FTfJP-track
Share
xThu 8 May 23:04
using conf.researchr.org (v1.69.0)
Support page
Sign Up