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