Programme

Instructions aux auteurs pour la présentation orale

La présentation orale du papier dure 20 minutes, suivie d'une séance de questions d'environ 5 minutes.

Un PC et un vidéo projecteur seront mis à disposition. La présentation sera copiée sur le PC avant la session.

Pour des raisons de compatibilité, il est préférable de prévoir une version pdf des présentations. Il sera possible d'utiliser son ordinateur personnel à condition de diposer d'un port VGA pour connecter le vidéo projecteur (ou disposer d'un adaptateur HDMI-> VGA). Utilisateurs Mac, merci d'apporter votre adaptateur.

Mardi 27 juin

Voir le programme des évènements satellites

Mercredi 28 juin

Mercredi 9h - 10h: Keynote 1 (forum). Chair: Laurence Pierre (Univ. Grenoble Alpes / TIMA). 

"De l'ingénierie système à l'ingénierie des  SoCs : Hic Sun Leones". Eric Jenn (IRT Saint Exupéry et Thales Avionics, Toulouse)

Bio: Le Dr Eric Jenn est ingénieur à Thales Avionics et détaché à l'Institut de Recherche Techonologique (IRT) Saint Exupéry de Toulouse. Ses domaines d'intérêt couvrent l'ingénierie des systèmes embarqués critiques, de leur spécification, leur vérification et validation, à leur certification, avec un focus particulier sur l'exploitation des modèles (système, architecturaux) et l'applications de méthodes de vérification formelle (model-checking, raffinement formel, essentiellement). 
Depuis plus de 20 ans, il a travaillé sur diverses applications dans le domaine des systèmes de controle-commande nucléaires et aéronautiques, dont l'avionique modulaire intégrée de l'Airbus A380. Eric Jenn a contribué à de nombreux projets de recherche collaborative français et européens dans les domaines précités (GUARDS, DIANA, P,...).
Actuellement, il est en charge du projet "CAPHCA" à l'IRT Saint Exupery dont l'objet est  l'exploitation des architectures multicoeurs pour le développpement d'appplications avioniques et automobiles.

Résumé: Dans cet exposé, nous donnerons un aperçu de certaines des questions que nous avons abordées et aborderons dans les projets réalisés au sein de l'IRT Saint Exupery de Toulouse, dans un contexte multidomaines, spatial, automobile, et spatial. Il y sera question de modélisation système, de modéles d'architecture matérielle et logicielle, de codesign matériel et logiciel, de SoCs et de méthodes formelles. 

Mercredi 10h30 - 12h30 : Session papiers

Session sécurité (salle 101). Chair: Laurent Réveillère (LaBRI/Bordeaux INP)
- IMAD : Lutte contre la propagation d’un nouveau type d’applications illégitimes. Patrick Lavoisier Wapet, Guillaume Singland, Alain Tchana et Daniel Hagimont.
- Attaques de ré-identification des utilisateurs à partir de leurs traces de mobilité. Mohamed Maouche, Sonia Ben Mokhtar et Sara Bouchenak.
- Données de mobilité: protection de la vie privée vs. utilité des données. Sophie Cerf, Vincent Primault, Antoine Boutet, Sonia Ben Mokhtar, Sara Bouchenak, Nicolas Marchand et Bogdan Robu.
- SecureStreams: Reactive Middleware for Secure Data Stream Processing. Aurélien Havet, Rafael Pires, Pascal Felber, Marcelo Pasin, Romain Rouvoy et Valerio Schiavoni.

Session énergie (forum). Chair: Nicolas Brunie (Kalray)
- Prise en compte de l’autonomie des batteries des périphériques mobiles pour la diffusion efficace de données en D2D. Lyes Hamidouche, Sébastien Monnet, Pierre Sens et Dimitri Refauvelet.
- Étude de l'impact d'une clause d'affinité sur les performances et l'énergie dans un support exécutif OpenMP. Philippe Virouleau.
- Comment estimer la consommation énergétique de processus avec seulement un wattmètre (et un solveur) ? Valentin Lorentz, Laurent Lefèvre et Gilles Fedak.
- Flexible Simulation for Neuromorphic Circuit Design: Motion Detection Case Study. Pierre Falez, Philippe Devienne, Pierre Tirilly, Marius Bilasco, Christophe Loyez, Ilias Sourikopoulos et Pierre Boulet.

Mercredi 14h - 15h30 : Session papiers

Session Cloud computing (forum). Chair: Cédric Tedeschi (IRISA)
- Méthode pour l'étude expérimentale par la simulation de clouds avec SCHIaaS. Luke Bertot, Julien Gossa et Stéphane Genaud.
- Prévisibilité des performances des applications dans les Clouds disposant de processeurs Asymétriques (AMPs). Boris Teabe, Alain Tchana, Daniel Hagimont et Patrick Lavoisier Wape.
- Vers une plate-forme communautaire d’hébergement à base de micro-services collaboratifs. Bruno Stevant, Jean-Louis Pazat et Alberto Blanc.

Session Géo-distribution (salle 101). Chair: Alain Tchana (IRIT/INP de Toulouse)
- On the (In)Efficiency of IPFS for Geo-distributed VM Images. Jad Darrous.
- Vers une cohérence causale évolutive sans chaînes de ralentissements. Ilyas Toumlilt, Alejandro Tomsic et Marc Shapiro.

Mercredi 15h30 - 17h30 : Session poster

Mercredi 17h30 - 19h30 : Buffet dinatoire

Retour en bus sur Antibes depuis la conférence et buffet dinatoire au Royal Antibes.

Itinéaire pour les personnes en voiture: https://goo.gl/maps/WFTmdK7xszy
 

Jeudi 29 juin

Jeudi 9h - 10h: Keynote 2 (forum). Chair: Eddy Caron

"From research to company. Two technology transfers stories"

Abstract: During this keynote we will have the opportunity to discover successful technology transfers. Two speakers, two stories, two points of view, two feedback for young researchers and so much more...

From an INRIA/University Research Team to an International Innovative Company. Denis presents in this talks the major steps that were needed to achieve a successful technology transfer from an academic team to a startup company, and then growing to a well established company with international presence. From the many difficulties, and often failure, ache, bitterness and headache, to the satisfaction, pleasure, and enjoyment that you sometimes get.

The story behind iExec, the first French major ICO success. What’s an ICO ? ICO stands for Initial Coin Offering. It’s a new way for startup to get funding by emitting new crypto-currencies or tokens on the blockchain. On April 19, iExec raised 10.000 Bitcoins in less than 3 hours, making it the 5th largest ICO in history. In this talk, you will learn about Bitcoins, the decentralization of the economy, and also about the scientific background of iExec, the first blockchain-based distributed Cloud platform.

Bio Denis Caromel (ActiveEon) has been working for more than 20 years as a researcher in parallel, concurrent and distributed programming, cloud computing, workload automation, applications and infrastructure automation for Inria and University of Nice Sophia Antipolis. He is holding a PhD degree in computer science in distributed and parallel computing and an MBA from HEC Business School. He has written numerous research papers and books, and directed PhD students. Denis acted as keynote speaker at several major conferences (MDM, DAPSYS, CGW, Shanghai CCGrid 2009, IEEE ICCP'09, ICPADS 2009 in Hong Kong, Devoxx in Paris, Open Stack Summit in Santa Clara), and as invited conference speaker on Clouds at Expo Universal in Shanghai. At Inria Denis was leading a team of 45 persons where ActiveEon initial Open Source technology was developed. Denis is an entrepreneur, and worked during 2 years in the United States in a startup company in California. He co-founded ActiveEon in 2007 together with his team as a spinoff of Inria in Sophia-Antipolis, creating synergies between the Inria 45-persons R&D team and the startup. Since 2011, he is ActiveEon CEO and currently manages an international company of over 30 persons located in France, UK, Africa, Bulgaria, and United States. Denis vision and strategy is to reinforce ActiveEon position as a major player of digital transformation and automation in the cloud. ActiveEon team works in agile mode, and Denis prefers his team to work in holacracy.

In his spare time, Denis is a sailboat skipper, practices scuba diving, competition skiing, marathon running and triathlon. He is also certified leisure airplane and hang-glider pilot. Denis also teaches ski and sailing to children. 

Bio Gilles Fedak (iExec) is a permanent INRIA research scientist since 2004 and I am currently working at ENS-Lyon, France (Homepage: http://graal.ens-lyon.fr/~gfedak/). After receiving his Ph.D degree from University Paris Sud in 2003, he followed a postdoctoral fellowship at University California San Diego. His research interests are in Parallel and Distributed Computing, with a particular emphasis on the problematic of using large and loosely coupled distributed computing infrastructures to support highly demanding computational and data-intensive Science. Gilles produced pioneering software and algorithms in the field of Grid and Cloud Computing that allow people to easily harness large parallel systems consisting of thousands of machines distributed on the Internet (XtremWeb, MPICH-V, BitDew, SpeQulos, Xtrem-MapReduce, Active Data, …). He co-authored more than 80 peer-reviewed scientific papers and won two Best Paper awards. In 2012, he co-edited with C. Cérin the Desktop Grid Computing Book, (CRC publication). In 2015, Gilles received the Chinese Academy of Sciences PIFI Award. Gilles Fedak and Haiwu He are co-founder the iEx.ec startup, which aims at building the first blockchain-based distributed cloud computing network.

Jeudi 10h30 - 12h30 : Session papiers

Session Noyaux et hyperviseurs (forum). Chair: Julien Sopena (LIP6/UPMC Sorbonne Universités)
- Swift Birth and Quick Death : Enabling Fast Parallel Guest Boot and Destruction in the Xen Hypervisor. Vlad Nitu, Pierre Olivier, Alain Tchana, Daniel Chiba, Antonio Barbalace, Daniel Hagimont et Binoy Ravindran.
- K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelle. Yacine Hebbal, Sylvie Laniepce et Jean-Marc Menaud.
- Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés. Quentin Bergougnoux, Gilles Grimaud et Julien Iguchi-Cartigny.
- Ipanema : un langage dédié pour le développement d’ordonnanceurs multi-coeurs sûrs. Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi et Nicolas Palix.

Session Efficacité d'exécution parallèle et distribué (salle 101). Chair: Christophe Cérin (Univ. Paris 13)
- GinFlow: exécution décentralisée et adaptative de workflows. Javier Rojas Balderrama, Matthieu Simonin et Cedric Tedeschi.
- Ordonnancement multi-objectifs de workflows dans le cloud : un modèle plus réaliste avec tâches de durée stochastique. Aurélie Kong Win Chang.
- CalMAR: Un runtime multi-applicatif pour l’exécution efficace d’applications flot-de-données. Kevin Marquet, Lionel Morel, Tanguy Risset et Manuel Selva.
- Parcours par liste de chemins : une nouvelle classe de mécanismes de suivi de flot SIMT. Sylvain Collange et Nicolas Brunie.

Jeudi 14:00 - 15h30: Session commune (forum). Chair: Laurent  Lefevre (ENS Lyon)

- Assessing the Impact of Network Bandwidth and Operator Placement on Data Stream Processing for Edge Computing Environments. Alexandre Da Silva Veith, Marcos Dias de Assuncao et Laurent Lefevre.
- Drowsy-DC: Gestion de l'Énergie dans un Data-center, Inspirée par les Smartphones. Mathieu Bacou, Grégoire Todeschi, Alain Tchana, Daniel Hagimont, Baptiste Lepers et Willy Zwaenepoel.
- Heuristiques d’ordonnancement pour les centres de données alimentés par énergies renouvelables. Léo Grange, Georges Da Costa, Patricia Stolf et Amal Sayah.

Jeudi 16h - 16h30: Assemblée générale Compas (forum)

L’objectif de cette session est de discuter de manière ouverte l’évolution et le format de la série de conférences Compas. Tou-te-s les participant-e-s sont cordialement invités à partager leurs commentaires et poser leurs questions. Les participant-e-s qui le souhaitent peuvent envoyer leurs questions ou suggestions à l’avance au président du comité de pilotage Compas, Laurent Réveillère (Laurent.Reveillere@labri.fr).

Jeudi 16h30 - 17h00: Session industriel (forum)

Cette session contient une présentation de sponsors industriels de la conférence: Stormshield et Huawei.

Jeudi 17h - 20h: Visite guidée de la veille ville d'Antibes

Jeudi 20h - 22h: Diner de gala

Au restaurant de la plage des pirates.

Itinéraire pour les personnes en voiture: https://goo.gl/maps/HfTTzr1bXcu

Attention, le restaurant a les pieds dans le sable (litérralement). Pensez à prendre des chaussures adaptées.

Vendredi 30 juin

Vendredi 9h00 - 10h00: Keynote 3 (forum). Chair: (Samovar/Telecom SudParis)

"Hyperledger Fabric: a Distributed Operating System for Permissioned Blockchains". Dr Marko Vukolic. IBM Research - Zurich.

Bio: Dr. Marko Vukolić is a Research Staff Member at IBM Research - Zurich. Previously, he was a faculty at EURECOM and a visiting faculty at ETH Zurich. He received his PhD in distributed systems from EPFL in 2008 and his dipl. ing. degree in telecommunications from University of Belgrade in 2001. His research interests lie in the broad area of distributed systems, including blockchain and distributed ledgers, cloud computing security, distributed storage and fault-tolerance.

Résumé: Hyperledger Fabric is an open-source system that provides a modular and extensible platform for deploying and operating permissioned blockchains (distributed ledgers). Starting from the premise that there is no ‘one-size-fits-all‘ distributed consensus protocol, Hyperledger Fabric is the first blockchain system to support pluggable consensus protocols which allows the system to be tailored to particular use cases and trust models. Hyperledger Fabric also features a radically different architecture compared to its predecessors, with the goals of facilitating blockchain performance, scalability, confidentiality and modularity. Unlike other blockchain systems that require their distributed applications to be written in domain-specific languages, Hyperledger Fabric allows the development of distributed applications/smart-contracts in general-purpose programming languages, without dependency on a specific cryptocurrency. Satisfying these requirements required an overhaul of state-of-the-art permissioned blockchain design and rethinking the way blockchains cope with non-determinism, resource exhaustion and performance attacks.
In this talk we discuss Hyperledger Fabric architecture, detailing the rationale behind various design decisions. We also briefly discuss distributed ledger technology (DLT) use cases to which Hyperledger Fabric is relevant, including financial industry, manufacturing industry (e.g., provenance use cases), supply chain management, government use cases and many more.

Vendredi  10h30 - 12h30: Session papiers

Session mémoire (forum). Chair: Slavisa Jovanovic (Univ. de Lorraine et Institut Jean Lamour)
- Thrifty-malloc : un gestionnaire dynamique de mémoire pour systèmes embarqués multicoeurs avec mémoire transactionnelle matérielle. Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy et Iris Bahar.
- Sytare: Persistence de l’état des périphériques pour les systèmes à alimentation intermittente. Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset et Guillaume Salagnac.
- Représentation spatiale et pseudo-temporelle des comportements mémoire d'une application. Cédric Courtaud, Xavier Jean, Madeleine Faugère, Gilles Muller et Julien Sopena.
- Combattre la fragmentation mémoire : estimation de la taille des working sets. Maxime Bittan et Julien Sopena.

Session Optimisation des calculs (salle 101). Chair: Bernard Goossens (Univ. de Perpignan / LIRMM)
- Utilisation de la compression Block Low-Rank pour accélérer un solveur direct creux supernodal. Grégoire Pichon.
- Vers une factorisation symbolique hiérarchique de rang faible pour des matrices creuses. Aurélien Falco, Emmanuel Agullo, Luc Giraud et Guillaume Sylvand.
- Réseaux de neurones ternaires : architecture et implantation FPGA. Adrien Prost-Boucle, Alban Bourge et Frédéric Pétrot.
- Exploration architecturale de l'accumulateur de Kulisch. Yohann Uguen et Florent de Dinechin.

Vendredi 12h30 - 14h00: Fin de la conférence

Panier repas