Small activity report: Autumn 2016 + Year
2017
Conference organization
- Compas’2017 (Fabien Hermenier)
Industrial transfer
- Collaboration with Nutanix on the Btrplace software, its verification
and its maintenance
- CIFRE PhD thesis with Huawei — August 2017 - 2020 “Distributed BSP :
Active Objects for BSPlib programs "
Invited researchers
- Simon Bliudze: 4 weeks, Sept 2017
Project Reviewing and Evaluation Committees
Françoise Baude
- HCERES LIP6 ; evaluation in jan 2018, preparation during autumn 2017
- Member
of "Commission de la recherche" and "Conseil Académique", UNS, since
April 2016
Conference/Workshop Organization and Program Committees
Ludovic Henrio
PC Chair: ICE 2017, ICE 2018
PC member: PDP4PAD 2016, WAO’17, TASE 2017
Fabien Hermenier
General chair Compas’2017
Fabrice Huet
PC Member : Big-Data 2016/17, MOD
2016, SmartData 2017, DSS 2016/17
Francoise Baude
PC Member de HPCS 2017
Editorial Boards
Francoise Baude: TSI, until oct 2017
Participation in External PhD and HDR Juries
Francoise Baude
PhD, president of the jury: Cyril Cecchinel UCA, nov 2017
HdR, president of the jury: Sara Alouf, UCA, dec 2017
PhD reviewer: Jérome RICHARD, ENS Lyon, LIP,
dec 2017
Fabrice Huet
PhD reviewer: Resmi Ariyattu, Towards Federated Social
Infrastructures for Plug-based Decentralized Social Networks, june 2017.
PhD jury member: Bo Zhang, Self-Optimization of
Infrastructure and Platform Resources in Cloud Computing, dec 2016
Involvement in Master Programs
Francoise Baude
- Involvement, as coordinator in Master 1 and master 2 in Data Science,
EIT Digital
- Involvement,
as coordinator in Master 2 Informatique IMAFA, common with Polytech
Nice Sophia' 5th year Sciences Informatique and Applied Maths and
Modelisation departments
Projects and contracts
- CIFRE PhD thesis with Huawei — August 2017 - 2020 “Distributed BSP :
Active Objects for BSPlib programs " [LH]
- EU H2020 PrestoCloud (with Signet) [FB, Fhu, FHer]
“Major" publications
* Behavioural semantics for asynchronous components.
R. Ameur-Boulifa, L. Henrio, O. Kulankhina, E. Madelaine, A. Savu
Journal of Logical and Algebraic Methods in Programming, Volume 89, June
2017, Pages 1–40
* Trustable Virtual Machine Scheduling in a Cloud
F Hermenier, L Henrio - SoCC 2017
* A Survey of Active Object Languages
Frank De Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine
Rochas, Crystal Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah,
Kiko Fernandez-Reyes, Albert Mingkun Yang
ACM Computing Surveys (CSUR) 2017
* Analysis of Synchronisations in Stateful Active Objects.
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. IFM 2017.
Lecture Notes in Computer Science, vol 10510. Springer.
* Multiactive objects and their applications
Ludovic Henrio and Justine Rochas
Logical Methods in Computer Science, November 21, 2017, Volume 13, Issue 4
* Florian Bruse, Martin Lange, Étienne Lozes. Space-Efficient Fragments of
Higher-Order Fixpoint Logic. RP 2017: 26-41
* S. Demri, É. Lozes and D. Lugiez. On Symbolic Heaps Modulo
Permission Theories. In FSTTCS'17, Leibniz International
Proceedings in Informatics. Leibniz-Zentrum für Informatik, 2017. To appear.
* Giovanni Neglia, Hlib Mykhailenko, Fabrice Huet. Simulated Annealing for
Edge Partitioning, WKSHPS 2017
* Hlib Mykhailenko, Fabrice Huet, Giovanni Neglia. Comparison of Edge
Partitioners for Graph Processing, CSCI 2016
* Hlib Mykhailenko, Giovanni Neglia, Fabrice Huet. Which Metrics for
Vertex-Cut Partitioning?, Dec 2016
* Ge Song, Justine Rochas, Lea Beze, Fabrice Huet, Frederic Magoules. K
Nearest Neighbour Joins for Big Data on MapReduce: A Theoretical and
Experimental Analysis
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical
and Electronics Engineers, 2016, 28 (9), pp.2376-2392.
* Monitoring as-a-service to drive more efficient future system
design. Transactions on Cloud Systems, 2017
Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric
Madelaine, Noëmie Simoni
Software
- BtrPlace in collaboration with Nutanix.
Defended PhDs
- J Rochas (9/2016) “Execution Support for Multi-threaded Active
Objects: Design and Implementation"
- O Kulankhina (10/2016) “A framework for rigorous development of
distributed components: formalisation and tools"
- V Mastandrea (12/2017) "Analysis of synchronisation patterns in active
objects based on behavioural types"
- Vincent Kherbache (12/2016): “Ordonnancement des migrations à chaud de
machines virtuelles”
- H Mykhailenko (06/2017) “Distributed Edge Partitioning”
Ongoing PhDs
- Pierre Leca: DBSP (Distributed BSP): Objets actifs pour les
programmes BSPlib
Advisor: L Henrio
- Alessio pagliari, Joint Application and Network Optimization of Big
Data Analytics, début Novembre 2017
Co-advised by Fabrice Huet and Prof. Guillaume Urvoy-Keller
- Alessio
Mansutti, since 2017
Co-advised by Etienne Lozes and Stéphane Demri.
Scientific results and ongoing research topics
- Survey on active objects [LH]
- Improved formalisation of ABS backend [LH]
- Safeplace: specification and testing of virtual machine placement
algorithms [LH, FHer]
- A behavioural type system for proving deadlock-freeness: taking into
account stateful aspects [LH, VM]
- A new future paradigm (Work in progress) [LH]
- DBSP: a distributed BSP calculus (Work in progress) [LH, PL]
- Combination of future and streams to support data stream processing in
GCM (work in progress) [FB]
- Survey on k-NN algorithms [FHu]
- Modelisation of Edge Partitioning [FHu]
- Distributed join on data stream (in progress) [FHu]