Elena Giachino

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 15

Top Topics

Concurrent Programs

Programming Language

Deadlock Detection

Distributed Database Systems

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session Types Revisited: A Decade Later. PPDP (2022)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of Session Types: 10 Years Later. PPDP (2019)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Y. H. Wong
Dynamic Rebinding for Concurrent Object Groups: Theory and practice. J. Log. Algebraic Methods Program. 86 (1) (2017)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. Inf. Comput. 256 (2017)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88 (2017)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. Softw. Syst. Model. 15 (4) (2016)
Sara Capecchi, Elena Giachino, Nobuko Yoshida
Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26 (2) (2016)
Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Actors may synchronize, safely! PPDP (2016)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS (2015)
Elena Giachino, Cosimo Laneve, Michael Lienhardt
A framework for deadlock detection in core ABS. CoRR (2015)
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun
Time complexity of concurrent programs. CoRR (2015)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility in a Tuple-Based Language. PDP (2015)
Elena Giachino, Cosimo Laneve
Towards the Typing of Resource Deployment. ISoLA (2) (2014)
Elena Giachino, Naoki Kobayashi, Cosimo Laneve
Deadlock Analysis of Unbounded Process Networks. CONCUR (2014)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
Causal-Consistent Reversible Debugging. FASE (2014)
Elena Giachino, Cosimo Laneve
Deadlock Detection in Linear Recursive Programs. SFM (2014)
Ornela Dardha, Elena Giachino, Michael Lienhardt
A Type System for Components. SEFM (2013)
Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM (2013)
Elena Giachino, Cosimo Laneve
Deadlock detection in linear recursive programs. CoRR (2013)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Deriving session and union types for objects. Math. Struct. Comput. Sci. 23 (6) (2013)
Elena Giachino, Cosimo Laneve
A Beginner's Guide to the DeadLock Analysis Model. TGC (2012)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. PPDP (2012)
Elena Giachino, Cosimo Laneve
Analysis of Deadlocks in Object Groups. FMOODS/FORTE (2011)
Sara Capecchi, Elena Giachino, Nobuko Yoshida
Global Escape in Multiparty Sessions. FSTTCS (2010)
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410 (2-3) (2009)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of session types. PPDP (2009)
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)
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models (2008)
Viviana Bono, Ferruccio Damiani, Elena Giachino
On Traits and Types in a Java-like Setting. IFIP TCS (2008)
Lorenzo Bettini, Sara Capecchi, Elena Giachino
Featherweight Wrap Java: wrapping objects and methods. J. Object Technol. 7 (2) (2008)
Lorenzo Bettini, Sara Capecchi, Elena Giachino
Featherweight wrap Java. SAC (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)
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
Bounded Session Types for Object Oriented Languages. FMCO (2006)