Publications HAL de la structure stack;ascola

2016

Journal articles

titre
Effect capabilities for Haskell: Taming effect interference in monadic programming
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Accès au bibtex
BibTex
titre
Using finite transducers for describing and synthesising structural time-series constraints
auteur
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
article
Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01370322/file/time_series_journal.pdf BibTex
titre
SLA guarantees for cloud services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Frederico Alvares de Oliveira Jr., Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
Future Generation Computer Systems, 2016, 54, pp.233-246. ⟨10.1016/j.future.2015.03.018⟩
Accès au bibtex
BibTex
titre
Lawvere-Tierney sheafification in Homotopy Type Theory
auteur
Kevin Quirin, Nicolas Tabareau
article
Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01451710/file/sheaf_jfr.pdf BibTex

Conference papers

titre
Performance Analysis of Object Store Systems in a Fog/Edge Computing Infrastructures
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
CloudCom, Dec 2016, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.science/hal-01397686/file/cloudcom.pdf BibTex
titre
Enabling Green Energy awareness in Interactive Cloud Application
auteur
Md Sabbir Hasan, Frederico Alvares de Oliveira, Thomas Ledoux, Jean-Louis Pazat
article
CloudCom 2016: IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. ⟨10.1109/CloudCom.2016.0071⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01365230/file/sabbir_hasan.pdf BibTex
titre
AAL and Static Conflict Detection in Policy
auteur
Jean-Claude Royer, Anderson Santana de Oliveira
article
15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩
Accès au bibtex
BibTex
titre
Partial Type Equivalences for Verified Dependent Interoperability
auteur
Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter
article
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01328012/file/main.pdf BibTex
titre
Quel système de stockage pour les architectures Fog ?
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
Compas'2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.science/hal-01376292/file/compas2016.pdf BibTex
titre
TrustyDrive: a Multi-Cloud Storage Service that Protects Your Privacy
auteur
Rémy Pottier, Jean-Marc Menaud
article
IEEE 9th International Conference on Cloud Computing, Jun 2016, San Francisco, United States
Accès au bibtex
BibTex
titre
Time-Series Constraints: Improvements and Application in CP and MIP Contexts
auteur
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
article
CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01355262/file/CPAIOR16.pdf BibTex
titre
The Definitional Side of the Forcing
auteur
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
article
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01319066/file/main.pdf BibTex
titre
Deploying Distributed Cloud Infrastructures: Who and at What Cost?
auteur
Adrien Lebre, Anthony Simonet, Anne-Cécile Orgerie
article
Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01404594/file/Intercloud_2016.pdf BibTex
titre
Renaming Global Variables in C Mechanically Proved Correct
auteur
Julien Cohen
article
Fourth International Workshop on Verification and Program Transformation, Apr 2016, Eindhoven, Netherlands
Accès au bibtex
BibTex

Book sections

titre
Cloud Capacity Planning and Management
auteur
Yousri Kouki, Frederico Alvares de Oliveira, Thomas Ledoux
article
Encyclopedia of Cloud Computing, Wiley-IEEE Press, 2016, 978-1-118-82197-8. ⟨10.1002/9781118821930.ch23⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Managing Logical and Computational Complexity using Program Transformations
auteur
Nicolas Tabareau
article
Category Theory [math.CT]. université de nantes, 2016
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01406351/file/tabareau_hdr.pdf BibTex

Poster communications

titre
Monitoring accountability policies with AccMon framework
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer
article
GDR-GPL, Jun 2016, Besançon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01332040/file/poster.pdf BibTex
titre
Extensible Modules for JavaScript
auteur
Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
article
ACM Press. SAC '16 - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. , Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp.3, 2016, ⟨10.1145/2851613.2851958⟩
Accès au bibtex
BibTex

Reports

titre
ENOS: a Holistic Framework for Conducting Scientific Evaluations of OpenStack
auteur
Ronan-Alexandre Cherrueau, Adrien Lebre, Dimitri Pertin, Anthony Simonet, Matthieu Simonin
article
[Technical Report] RT-0485, Inria Rennes Bretagne Atlantique; Nantes. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01415522/file/RT-485.pdf BibTex
titre
A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds
auteur
Adrien Lebre, Jonathan Pastor, Frédéric Desprez
article
[Technical Report] RT-0480, INRIA. 2016, pp.1-24
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01320235/file/RT-480.pdf BibTex

Theses

titre
Langage dédié au traitement des événements complexes et modélisation des usages pour les réseaux de capteurs
auteur
Alexandre Garnier
article
Informatique et langage [cs.CL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0287⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01496893/file/Garnier_A_12_2016.pdf BibTex
titre
Lawvere-Tierney sheafification in Homotopy Type Theory
auteur
Kevin Quirin
article
Logic in Computer Science [cs.LO]. Ecole des Mines de Nantes, 2016. English. ⟨NNT : 2016EMNA0298⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01486550/file/Quirin_K_12_2016.pdf BibTex
titre
Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript
auteur
Florent Marchand de Kerchove
article
Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0223⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01415588/file/Marchand_De_Kerchove_F_11_2016.pdf BibTex
titre
Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage
auteur
Ronan-Alexandre Cherrueau
article
Cryptographie et sécurité [cs.CR]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0233⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416166/file/Cherrueau_RA_11_2016.pdf BibTex
titre
Contributions à la mise en place d'une infrastructure de Cloud Computing à large échelle
auteur
Jonathan Pastor
article
Autre [cs.OH]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0240⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416099/file/Pastor_J_10_2016.pdf BibTex
titre
Analyses et préconisations pour les centres de données virtualisés
auteur
Frédéric Dumont
article
Calcul parallèle, distribué et partagé [cs.DC]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0249⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01880572/file/Dumont_F_09_2016.pdf BibTex
titre
Gestion autonomique de l'élasticité multi-couche des applications dans le Cloud : vers une utilisation efficiente des ressources et des services du Cloud
auteur
Simon Dupont
article
Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0239⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01344377/file/Dupont_S_04_2016.pdf BibTex