Elena Giachino

According to our database, Elena Giachino authored at least 33 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Session Types Revisited: A Decade Later.

Ornela Dardha, Elena Giachino, Davide Sangiorgi

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2019

Foundations of Session Types: 10 Years Later.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

2017

Causal-consistent rollback in a tuple-based language.

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi

J. Log. Algebraic Methods Program., 2017

Dynamic Rebinding for Concurrent Object Groups: Theory and practice.

Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong

J. Log. Algebraic Methods Program., 2017

Session types revisited.

Ornela Dardha, Elena Giachino, Davide Sangiorgi

Inf. Comput., 2017

2016

A framework for deadlock detection in core ABS.

Elena Giachino, Cosimo Laneve, Michael Lienhardt

Softw. Syst. Model., 2016

Global escape in multiparty sessions.

Sara Capecchi, Elena Giachino, Nobuko Yoshida

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida

Found. Trends Program. Lang., 2016

Actors may synchronize, safely!

Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Statically and Dynamically Verifiable SLA Metrics.

Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Time complexity of concurrent programs.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun

CoRR, 2015

Causal-Consistent Reversibility in a Tuple-Based Language.

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Deadlock Detection in Linear Recursive Programs.

Elena Giachino, Cosimo Laneve

Proceedings of the Formal Methods for Executable Software Models, 2014

Towards the Typing of Resource Deployment.

Elena Giachino, Cosimo Laneve

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Causal-Consistent Reversible Debugging.

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Deadlock Analysis of Unbounded Process Networks.

Elena Giachino, Naoki Kobayashi, Cosimo Laneve

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Deriving session and union types for objects.

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri

Math. Struct. Comput. Sci., 2013

A Type System for Components.

Ornela Dardha, Elena Giachino, Michael Lienhardt

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.

Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

A Beginner's Guide to the DeadLock Analysis Model.

Elena Giachino, Cosimo Laneve

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

Analysis of Deadlocks in Object Groups.

Elena Giachino, Cosimo Laneve

Proceedings of the Formal Techniques for Distributed Systems, 2011

2009

Amalgamating sessions and methods in object-oriented languages with generics.

Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino

Theor. Comput. Sci., 2009

Foundations of session types.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Featherweight Wrap Java: wrapping objects and methods.

Lorenzo Bettini, Sara Capecchi, Elena Giachino

J. Object Technol., 2008

Alias Types and Effects for "Environment-aware" Computations.

Ferruccio Damiani, Elena Giachino, Paola Giannini

Fundam. Informaticae, 2008

A type safe state abstraction for coordination in Java -like languages.

Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou

Acta Informatica, 2008

On Traits and Types in a Java-like Setting.

Viviana Bono, Ferruccio Damiani, Elena Giachino

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Session and Union Types for Object Oriented Programming.

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri

Proceedings of the Concurrency, 2008

2007

Featherweight wrap Java.

Lorenzo Bettini, Sara Capecchi, Elena Giachino

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

On State Classes and Their Dynamic Semantics.

Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola

Proceedings of the Software and Data Technologies - First International Conference, 2006

Bounded Session Types for Object Oriented Languages.

Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006