Département Informatique

Computer Science Department of Telecom SudParis

New paper “Efficient Replication via Timestamp Stability” to be presented at Eurosys’21

New paper “Efficient Replication via Timestamp Stability” to be presented at Eurosys’21. Congrats to Pierre!

New paper “FaaSCache: an opportunistic free caching system for FaaS platforms” to be presented at Eurosys’21

New paper “FaaSCache: an opportunistic free caching system for FaaS platforms” to be presented at Eurosys’21. Congrats to Mathieu!

New paper “EZIOTracer: Unifying Kernel and User Space I/O Tracing for Data-Intensive Applications” to be presented at the CHEOPS workshop of Eurosys’21

New paper “EZIOTracer: Unifying Kernel and User Space I/O Tracing for Data-Intensive Applications” to be presented at the CHEOPS workshop of Eurosys’21. Congrats to Alexis C and François!

New paper “A Transactional Approach to Enforce Resource Availabilities – Application to the Cloud” at RCIS’2021

Authors: Zakaria Maamar, Mohamed Sellami and Fatma Masmoudi

Abstract

This paper looks into the availability of resources, exemplified with the cloud, in an open and dynamic environment like the Internet. A growing number of users consume resources to complete their operations requiring a better way to manage these resources in order to avoid conflicts, for example. Resource availability is defined using a set of consumption properties (limited, limited-but-renewable, and non-shareable) and is enforced at run-time using a set of transactional properties (pivot, retriable, and compensatable). In this paper, a CloudSim-based system simulates how mixing consumption and transactional properties allows to capture users’ needs and requirements in terms of what cloud resources they need, for how long, and to what extent they tolerate the unavailability of these resources.

New paper “NVCache: A Plug-and-Play NVMM-based I/O booster for Legacy Systems” to be presented at DSN’21

New paper “NVCache: A Plug-and-Play NVMM-based I/O booster for Legacy Systems” to be presented at DSN’21. Congrats to Rémi and Gaël!

New paper “Transparent Overlapping of Blocking Communication in MPI Applications” to be presented at IEEE HPCC’20

New paper “Transparent Overlapping of Blocking Communication in MPI Applications” to be presented at IEEE HPCC’20. Congrat to Alexis, Elisabeth, François and Gaël!

New paper “Leaderless State-Machine Replication: Specification, Properties, Limits” to be presented at DISC’20

New paper “Leaderless State-Machine Replication: Specification, Properties, Limits” to be presented at Eurosys’20. Congrat to Pierre and Tuanir!

New article “Real-Time Tracking and Mining of Users’ Actions over Social Media ” at Computer Science and Information Systems

Ejub Kajan, Noura Faci, Zakaria Maamar, Mohamed Sellami, Emir Ugljanin, et al.. Real-time tracking and mining of users’ actions over social media. Computer Science and Information Systems, ComSIS Consortium, In press, pp.2-2. ⟨10.2298/CSIS190822002K⟩⟨hal-02514060⟩

Abstract. With the advent of Web 2.0 technologies and social media, companiesare actively looking for ways to know and understand what users think and say about their products and services. Indeed, it has become the practice that users go online using social media like Facebook to raise concerns, make comments, and share recommendations. All these actions can be tracked in real-time and then mined using advanced techniques like data analytics and sentiment analysis. This paper discusses such tracking and mining through a system called Social Miner that allows companies to make decisions about what, when, and how to respond to users’ actions over social media. Questions that Social Miner allows to answer include what actions were frequently executed and why certain actions were executed more than others.

New paper “Towards an Approach for Validating the Internet-of-Transactional-Things” at AINA’2020

Z. Maamar, M. Sellami, N.C. Narendra, I. Guidara, E. Ugljanin, and B. Banihashemi. Towards an Approach for Validating the Internet-of-Transactional-Things. In the 34-th International Conference on Advanced Information Networking and Applications (AINA-2020)

 

Abstract. This paper examines the impact of transactional properties, known as pivot, retriable, and compensatable, on Internet-of-Things (IoT). Despite the ever-growing number of things in today’s cyber-physical world, a limited number of studies examine this impact while considering things’ particularities in terms of reduced size, restricted connectivity, continuous mobility, limited energy, and constrained storage. To address this gap, this paper proceeds first, with exposing things’ duties, namely sensing, actuating, and communicating. Then, it examines the appropriateness of each transactional property for each duty. During the performance of transactional things, (semi)-atomicity criterion is adopted allowing to approve when these things’ duties could be either canceled or compensated. A system that runs a set of what-if experiments is presented in the paper allowing to demonstrate the technical doability of transactional things.

New paper “A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI” at MODELSWARD’2020

A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI by D. Oudart, J. Cantenot, F. Boulanger and S. Chabridon

Abstract Smart Grids are cyber-physical systems that interface power grids with information and communication technologies in order to monitor them, automate decision making and balance production and consumption. Cosimulation with the Functional Mock-up Interface standard allows the exploration of the behavior of such complex systems by coordinating simulation units that correspond to the grid part, the communication network and the information system. However, FMI has limitations when it comes to cyber-physical system simulation, particularly because discrete-event signals exchanged by cyber components are not well supported. In addition, industrial projects involve several teams with different skills and methods that work in parallel to produce all the models required by the simulation, which increases the risk of inconsistency between models. This article presents a way to exchange discrete-event signals between FMI artifacts, which complies with the current 2.0 version of the standard. We developed a DSL and a model-based toolchain to generate the artifacts that are necessary to run the cosimulation of the whole system, and to
detect potential inconsistencies between models. The approach is illustrated by the use case of an islanded grid implementing diesel and renewable sources, battery storage and intelligent control of the production.