• Sign in
  • Sign up
conf.researchr.org / Paola Giannini
  • ECOOP 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2019 profile
  • SPLASH 2017 profile
  • SPLASH 2022 profile
Paola Giannini

Registered user since Sat 4 Jun 2016

Name:Paola Giannini
Country:Italy
Affiliation:University of Eastern Piedmont
Personal website:http://people.unipmn.it/giannini/
Research interests:Logic semantics and type systems of programming languages and systems

Contributions

SPLASH 2022 Author of Coeffects for Sharing and Mutation within the OOPSLA-track
Unsound 2022 Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
BEAT 2019 Committee Member in Program Committee within the BEAT 2019-track
Session Chair of Session 3 (part of BEAT 2019)
Author of Global Types with Internal Delegation within the BEAT 2019-track
DLS 2017 Committee Member in Program Committee within the DLS 2017-track
FTfJP 2017 Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
FTfJP 2016 Author of Coupling Catch Clauses with Local Declarations within the FTfJP-track
VORTEX 2016 Author of Runtime checks as nominal types within the VORTEX-track

Share
xThu 9 Feb 03:53
using conf.researchr.org (v1.58.0)
Support page
Sign Up