Paola Giannini

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 43

Top Venues

Publications

Ilaria Castellani, Paola Giannini
Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS (2024)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192 (1) (2024)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-Graded Featherweight Java. ECOOP (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-graded Featherweight Java. CoRR (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. Log. Methods Comput. Sci. 19 (1) (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971 (2023)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131 (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for Sharing and Mutation. CoRR (2022)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event structure semantics for multiparty sessions. CoRR (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-Like Calculus with User-Defined Coeffects. ICTCS (2022)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Asynchronous Sessions with Input Races. PLACES@ETAPS (2022)
Lavinia Egidi, Paola Giannini, Lorenzo Ventura
Multiparty-session-types Coordination for Core Erlang. ICSOFT (2022)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. COORDINATION (2021)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Global types and event structure semantics for asynchronous multiparty sessions. CoRR (2021)
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Deconfined Global Types for Asynchronous Sessions. CoRR (2021)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Deconfined Intersection Types in Java. Gabbrielli's Festschrift (2020)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
Global types with internal delegation. Theor. Comput. Sci. 807 (2020)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764 (2019)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172 (2019)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing and Preventing Sharing and Mutation. ICTCS (2019)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Reversible sessions with flexible choices. Acta Informatica 56 (7-8) (2019)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for uniqueness and immutability. SAC (2018)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Intersection Types in Java: Back to the Future. Models, Mindsets, Meta (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14 (3) (2018)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability (Extended Version). CoRR (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A Syntactic Model of Mutation and Aliasing. DCM/ITRS (2018)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. CoRR (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for sharing. SAC (2017)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Concurrent Reversible Sessions. CONCUR (2017)
Davide Ancona, Paola Giannini, Elena Zucca
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27 (2) (2017)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP (2017)
Paola Giannini, Albert Shaqiri
A Provably Correct Compilation of Functional Languages into Scripting Languages. Sci. Ann. Comput. Sci. 27 (1) (2017)
Paola Giannini, Marco Servetto, Elena Zucca
Coupling catch clauses with local declarations. FTfJP@ECOOP (2016)
Walter Cazzola, Paola Giannini, Albert Shaqiri
Formal Attributes Traceability in Modular Language Development Frameworks. Electron. Notes Theor. Comput. Sci. 322 (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Initialize-and-catch. SAC (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Types for Immutability and Aliasing Control. ICTCS (2016)
Davide Ancona, Paola Giannini, Elena Zucca
Incremental Rebinding with Name Polymorphism. Electron. Notes Theor. Comput. Sci. 322 (2016)
Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. MODELSWARD (2016)
Mariangiola Dezani-Ciancaglini, Paola Giannini
Reversible Multiparty Sessions with Checkpoints. EXPRESS/SOS (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Runtime Checks as Nominal Types. ICTCS (2016)
Davide Ancona, Paola Giannini, Elena Zucca
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES (2015)
Paola Giannini, Emanuela Merelli, Angelo Troina
Interactions between Computer Science and Biology. Theor. Comput. Sci. 587 (2015)
Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
A computational modeling language for complex laboratory experiments. Nano Commun. Networks 6 (3) (2015)
Adriana B. Compagnoni, Paola Giannini, Christopher Kelley
State-Sensitive Computational Modeling. BICT (2014)
Paola Giannini, Erik P. de Vink
Preface. Electron. Notes Theor. Comput. Sci. 293 (2013)
Paola Giannini, Albert Shaqiri
Compiling Functional to Scripting Languages. ICSOFT (Selected Papers) (2013)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7 (4) (2013)
Paola Giannini, Albert Shaqiri
An Intermediate Language for Compilation to Scripting Languages. ICSOFT (2013)
Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma
A Calculus of Located Entities. DCM (2013)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431 (2012)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22 (2) (2012)
Davide Ancona, Paola Giannini, Elena Zucca
Reconciling positional and nominal binding. ITRS (2012)
Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions MeCBIC (2012)
Paola Giannini, Jean Krivine
Preface. Electron. Notes Theor. Comput. Sci. 277 (2011)
Eva Sciacca, Salvatore Spinella, Dino Ienco, Paola Giannini
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins. EvoBio (2011)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Calculus of Looping Sequences with Local Rules DCM (2011)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Intersection types for unbind and rebind ITRS (2010)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for Required/Excluded Elements in CLS DCM (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
The essence of static and dynamic bindings. ICTCS (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for a Stochastic CLS MeCBIC (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Intersection, Universally Quantified, and Reference Types. CSL (2009)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
A Calculus of Evolving Objects. Sci. Ann. Comput. Sci. 18 (2008)
Ferruccio Damiani, Elena Giachino, Paola Giannini
Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae 88 (1-2) (2008)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45 (7-8) (2008)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) (2006)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
On state classes and their dynamic semantics. ICSOFT (1) (2006)
Paola Giannini, Davide Sangiorgi, Andrea Valente
Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59 (3) (2006)
Christopher Anderson, Paola Giannini, Sophia Drossopoulou
Towards Type Inference for JavaScript. ECOOP (2005)
Christopher Anderson, Paola Giannini
Type Checking for JavaScript. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
On Re-classification and Multi-threading. J. Object Technol. 3 (11) (2004)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
. SAC (2004)
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
. ICTCS (2003)
Ferruccio Damiani, Paola Giannini
Alias types for "environment-aware" computations. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
ACM Trans. Program. Lang. Syst. 24 (2) (2002)
Viviana Bono, Ferruccio Damiani, Paola Giannini
A Calculus for "Environment-Aware" Computation. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Mario Coppo, Ferruccio Damiani, Paola Giannini
Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272 (1-2) (2002)
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Fickle : Dynamic Object Re-classification. ECOOP (2001)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
An Effective Translation of Fickle into Java. ICTCS (2001)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
A type preserving translation of Fickle into Java. Electron. Notes Theor. Comput. Sci. 62 (2001)
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Type-Based Useless-Code Elimination for Functional Programs. SAIG (2000)
Ferruccio Damiani, Paola Giannini
Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10 (6) (2000)
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
A filter model for mobile processes. Math. Struct. Comput. Sci. 9 (1) (1999)
Ferruccio Damiani, Paola Giannini
An Inference Algorithm for Strictness. TLCA (1997)
Mario Coppo, Ferruccio Damiani, Paola Giannini
On Strictness and Totality. TACS (1997)
Mario Coppo, Ferruccio Damiani, Paola Giannini
Refinement Types for Program Analysis. SAS (1996)
Mario Coppo, Paola Giannini
Principal Types and Unification for a Simple Intersection Type System Inf. Comput. 122 (1) (1995)
Ferruccio Damiani, Paola Giannini
A Decidable Intersection Type System based on Relevance. TACS (1994)
Paola Giannini, Simona Ronchi Della Rocca
A Type Inference Algorithm for a Stratified Polymorphic Type Discipline Inf. Comput. 109 (1/2) (1994)
Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
Type Inference: Some Results, Some Problems. Fundam. Informaticae 19 (1/2) (1993)
Mario Coppo, Paola Giannini
A Complete Type Inference Algorithm for Simple Intersection Types. CAAP (1992)
Paola Giannini, Simona Ronchi Della Rocca
Type Inference in Polymorphic Type Discipline. TACS (1991)
Paola Giannini, Simona Ronchi Della Rocca
Characterization of typings in polymorphic type discipline LICS (1988)
Paola Giannini, Giuseppe Longo
Effectively Given Domains and Lambda-Calculus Models Inf. Control. 62 (1) (1984)

Paola Giannini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paola Giannini