Elena Giachino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2006–2022
Best venue rank
C
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PPDP | Session Types Revisited: A Decade Later. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2019 | PPDP | Foundations of Session Types: 10 Years Later. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2016 | PPDP | Actors may synchronize, safely! | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2015 | PDP | Causal-Consistent Reversibility in a Tuple-Based Language. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi |
| 2014 | CONCUR | Deadlock Analysis of Unbounded Process Networks. | Elena Giachino, Naoki Kobayashi, Cosimo Laneve |
| 2014 | FASE | Causal-Consistent Reversible Debugging. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
| 2014 | ISoLA | Towards the Typing of Resource Deployment. | Elena Giachino, Cosimo Laneve |
| 2013 | IFM | Deadlock Analysis of Concurrent Objects: Theory and Practice. | Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong |
| 2013 | SEFM | A Type System for Components. | Ornela Dardha, Elena Giachino, Michael Lienhardt |
| 2012 | PPDP | Session types revisited. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2011 | FORTE | Analysis of Deadlocks in Object Groups. | Elena Giachino, Cosimo Laneve |
| 2009 | PPDP | Foundations of session types. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2007 | SAC | Featherweight wrap Java. | Lorenzo Bettini, Sara Capecchi, Elena Giachino |
| 2006 | ICSoft | On state classes and their dynamic semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |
| 2006 | ICSoft | On State Classes and Their Dynamic Semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |