Elena Giachino

According to our database1, Elena Giachino authored at least 30 papers between 2006 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Causal-consistent rollback in a tuple-based language.
J. Log. Algebr. Meth. Program., 2017

Dynamic Rebinding for Concurrent Object Groups: Theory and practice.
J. Log. Algebr. Meth. Program., 2017

A framework for deadlock detection in core ABS.
Software and System Modeling, 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Actors may synchronize, safely!
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Statically and Dynamically Verifiable SLA Metrics.
Proceedings of the Theory and Practice of Formal Methods, 2016

Causal-Consistent Reversibility in a Tuple-Based Language.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Deadlock Detection in Linear Recursive Programs.
Proceedings of the Formal Methods for Executable Software Models, 2014

Towards the Typing of Resource Deployment.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Causal-Consistent Reversible Debugging.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Deadlock Analysis of Unbounded Process Networks.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Deriving session and union types for objects.
Mathematical Structures in Computer Science, 2013

A Type System for Components.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

A Beginner's Guide to the DeadLock Analysis Model.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Session types revisited.
Proceedings of the Principles and Practice of Declarative Programming, 2012

Analysis of Deadlocks in Object Groups.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Global Escape in Multiparty Sessions.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci., 2009

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

Featherweight Wrap Java: wrapping objects and methods.
Journal of Object Technology, 2008

Alias Types and Effects for "Environment-aware" Computations.
Fundam. Inform., 2008

A type safe state abstraction for coordination in Java -like languages.
Acta Inf., 2008

On Traits and Types in a Java-like Setting.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Session and Union Types for Object Oriented Programming.
Proceedings of the Concurrency, 2008

Featherweight wrap Java.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On State Classes and Their Dynamic Semantics.
Proceedings of the Software and Data Technologies - First International Conference, 2006

On state classes and their dynamic semantics.
Proceedings of the ICSOFT 2006, 2006

Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006