Search

Your search keyword '"Giachino, Elena"' showing total 107 results
Start Over Author "Giachino, Elena"
107 results on '"Giachino, Elena"'

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

Author

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

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Software Engineering
Abstract

Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps)., Comment: In Proceedings VORTEX 2018, arXiv:1908.09302

Published
2019
Full Text
View/download PDF

2. A framework for deadlock detection in core ABS

Author

Giachino, Elena, Laneve, Cosimo, and Lienhardt, Michael

Subjects
Computer Science - Programming Languages
Abstract

We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioural descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyse contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (i) an evaluator that computes a fixpoint semantics and (ii) an evaluator using abstract model checking., Comment: Software and Systems Modeling, Springer Verlag, 2015

Published
2015
Full Text
View/download PDF

3. Time complexity of concurrent programs

Author

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

Subjects
Computer Science - Programming Languages
Abstract

We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. Then, we define a translation function that takes behavioural types and makes the parallelism explicit into so-called cost equations, which are fed to an automatic off-the-shelf solver for obtaining the time complexity., Comment: FACS 2015, Oct 2015, Niter\'oi, Rio de Janeiro, Brazil

Published
2015

4. Deadlock detection in linear recursive programs

Author

Giachino, Elena and Laneve, Cosimo

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science, 68Q85, F.3.1, F.3.2, F.1.1
Abstract

Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of "linear recursive programs" of a basic model. The theory that underpins the algorithm is a generalization of the theory of permutations of names to so-called "mutations", which transform tuples by introducing duplicates and fresh names. Our algorithm realizes the back-end of deadlock analyzers for object-oriented programming languages, once the association programs/basic-model-programs has been defined as front-end.

Published
2013

6. Statically and Dynamically Verifiable SLA Metrics

Author

Giachino, Elena, de Gouw, Stijn, Laneve, Cosimo, Nobakht, Behrooz, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, Bonsangue, Marcello, editor, and Johnsen, Einar Broch, editor

Published
2016
Full Text
View/download PDF

7. Time Complexity of Concurrent Programs : – A Technique Based on Behavioural Types –

Author

Giachino, Elena, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Braga, Christiano, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

8. Towards the Typing of Resource Deployment

Author

Giachino, Elena, Laneve, Cosimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2014
Full Text
View/download PDF

9. Deadlock Analysis of Unbounded Process Networks

Author

Giachino, Elena, Kobayashi, Naoki, Laneve, Cosimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Baldan, Paolo, editor, and Gorla, Daniele, editor

Published
2014
Full Text
View/download PDF

10. Causal-Consistent Reversible Debugging

Author

Giachino, Elena, Lanese, Ivan, Mezzina, Claudio Antares, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gnesi, Stefania, editor, and Rensink, Arend, editor

Published
2014
Full Text
View/download PDF

11. Deadlock Detection in Linear Recursive Programs

Author

Giachino, Elena, Laneve, Cosimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bernardo, Marco, editor, Damiani, Ferruccio, editor, Hähnle, Reiner, editor, Johnsen, Einar Broch, editor, and Schaefer, Ina, editor

Published
2014
Full Text
View/download PDF

14. A Beginner’s Guide to the DeadLock Analysis Model

Author

Giachino, Elena, Laneve, Cosimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Palamidessi, Catuscia, editor, and Ryan, Mark D., editor

Published
2013
Full Text
View/download PDF

15. A Type System for Components

Author

Dardha, Ornela, Giachino, Elena, Lienhardt, Michaël, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hierons, Robert M., editor, Merayo, Mercedes G., editor, and Bravetti, Mario, editor

Published
2013
Full Text
View/download PDF

16. Deadlock Analysis of Concurrent Objects: Theory and Practice

Author

Giachino, Elena, Grazia, Carlo A., Laneve, Cosimo, Lienhardt, Michael, Wong, Peter Y. H., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

17. Analysis of Deadlocks in Object Groups

Author

Giachino, Elena, Laneve, Cosimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bruni, Roberto, editor, and Dingel, Juergen, editor

Published
2011
Full Text
View/download PDF

20. Session and Union Types for Object Oriented Programming

Author

Bettini, Lorenzo, Capecchi, Sara, Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Venneri, Betti, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Degano, Pierpaolo, editor, De Nicola, Rocco, editor, and Meseguer, José, editor

Published
2008
Full Text
View/download PDF

21. Bounded Session Types for Object Oriented Languages

Author

Dezani-Ciancaglini, Mariangiola, Giachino, Elena, Drossopoulou, Sophia, Yoshida, Nobuko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2007
Full Text
View/download PDF

35. Analysis of SLA Compliance in the Cloud

Author

Boer, Frank S. de, Giachino, Elena, Gouw, Stijn de, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi, Ancona, Davide, Pace, Gordon, Ancona, Davide, Pace, Gordon, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands, de Boer F.S., Giachino E., de Gouw S., Hahnle R., Johnsen E.B., Laneve C., Pun K.I., Zavattaro G., Department Computer Science, and RS-Research Line Resilience (part of LIRS program)

Subjects
FOS: Computer and information sciences, Computer science, Static program analysis, Cloud computing, Information technology operations, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, lcsh:QA75.5-76.95, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, DevOps, business.industry, lcsh:Mathematics, Software development, 020207 software engineering, lcsh:QA1-939, Software Engineering (cs.SE), Workflow, Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Software deployment, Service level, Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science, Cloud application deployment Service Level Agreement Formal methods, Software engineering, business
Abstract

Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps)., In Proceedings VORTEX 2018, arXiv:1908.09302

Published
2019

40. Behavioral Types in Programming Languages

Author

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

Published
2016
Full Text
View/download PDF

50. Global escape in multiparty sessions.

Author

CAPECCHI, SARA, GIACHINO, ELENA, and YOSHIDA, NOBUKO

Subjects
DISTRIBUTION (Probability theory), COMPUTER algorithms, ACQUISITION of data, ERROR analysis in mathematics, SEMANTICS
Abstract

This article proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, preserving compatibility of the multiparty conversations. Our escape is realized by a collection of asynchronous local exceptions which can be thrown at any stage of the communication and to any subsets of participants in a multiparty session. This flexibility enables to model complex exceptions such as criss-crossing global interactions and error handling for distributed cooperating threads. Guided by multiparty session types, our semantics is proven to provide a termination algorithm for global escapes. Our type system guarantees further safety and liveness properties, such as progress within the session and atomicity of escapes with respect to the subset of involved participants. [ABSTRACT FROM PUBLISHER]

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results