Next seminars
- Frambot Paul will present "WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants" at 4A312 (visio link) the 7/1/2022 at 10h00
- Muktikanta Sa will present "Non-blocking Dynamic Unbounded Graphs with Worst-case Amortized Bounds" (OPODIS'21) at 4A312 (visio link) the 10/12/2021 at 10h30
- Amponsem Kwabena will present "Memory-Mapped IO on Steroids" (Eurosys'21) at 4A312 (visio link) the 10/12/2021 at 10h00
Other news
- New paper “Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies” at ICSOC’2021
- New paper “Blockchain logging for process mining: a systematic review” at HICSS’2022
- New paper “Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine” at ICEBE’2021
- New paper “Runtime models and evolution graphs for the version management of microservice architectures” at APSEC 2021
- New paper “J-NVM: Off-heap Persistent Objects in Java” to be presented at SOSP’21
Jobs
- Internship - Toward Energy-efficient Software for the Internet of Things
- Internship - Exécuteur pour déployer des architectures à base de microservices
- Internship - 2A Internship: Extending the DeX API for enabling interoperability between IoT devices
- Internship - 2A Internship: Simulating IoT Data Exchange using Queueing Theory
- Internship - Optimization of data movements in a particle physics SYCL code
- Internship - Fusion de Flux de Données Hétérogènes
- Internship - Asynchronous high performance communication
- Internship - High perfomance runtime system for deep learning
