Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Scientific Mediation
Our charters and commitments
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Staff directory
Colloquium
đź”’
đź“«
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
News
Archives
All current and past events
REGAL
2017
05/03/2017:
RainbowFS Workshop on Consistency in Distributed Storage Systems
04/21/2017:
Bridging the CAP gap: the Just-Right Consistency approach
03/31/2017:
Towards a Distributed Metadata Service for Causal Consistency
03/04/2017:
Time and Homonyms Considerations over Community Protocols
02/28/2017:
On Verifying Causal Consistency
02/22/2017:
Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
2016
12/12/2016:
The Critéo Big-Data Platform
09/21/2016:
Heavy Hitters in Streams and Sliding Windows
06/02/2016:
The Supercloud: Opportunities and Challenges
02/04/2016:
The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications
2015
06/18/2015:
Outil dédiés aux systèmes distribués dynamiques : JBotSim
04/17/2015:
Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
04/01/2015:
XFabric: reconfigurable network topologies at rack scale
01/14/2015:
Workshop on Highly-Scalable Distributed Systems
2014
11/19/2014:
Yesquel: scalable SQL storage for Web applications
09/30/2014:
OPODIS Program Chair
09/15/2014:
Workshop on Database Consistency in the Cloud
07/24/2014:
Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
06/06/2014:
Workshop/JTE ASF on Managed runtimes
05/21/2014:
Elastic and Fault-Tolerant Stream Processing in the Cloud
04/02/2014:
Thread Vulnerability for Multicore Architectures
04/01/2014:
Understanding and Improving Device Access
02/18/2014:
Coq, the world's best macro assembler !
02/03/2014:
Failure containment for extreme scale MPI applications
01/31/2014:
La Société Informatique de France
01/15/2014:
The Case for Reliable Software Transactional Networking
2013
10/30/2013:
Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
10/28/2013:
SplayNet: Distributed User-Space Topology Emulation
10/23/2013:
GDR-GPL GĂ©nie Logiciel Empirique
09/25/2013:
WCET estimation techniques for multicore-processors
07/22/2013:
SOUK: Social Observation of hUman Kinetics
06/06/2013:
X-Stream: Edge-centric Graph Processing using Streaming Partitions
06/05/2013:
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
05/28/2013:
Generalized Universality
04/12/2013:
A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
03/27/2013:
From Clarity to Efficiency for Distributed Algorithms
03/20/2013:
Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
03/20/2013:
Low-Redundancy Two-Dimensional RAID Arrays
03/01/2013:
Distributed Exclusive Graph Searching in Trees
02/25/2013:
RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
02/14/2013:
Disorderly Distributed Programming with Bloom
2012
09/27/2012:
Workshop on Language Virtual Machines and Multicore Architectures
09/26/2012:
Cloud Types for Eventual Consistency
09/11/2012:
S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
09/06/2012:
Algorithmes de clustering pour des systèmes distribués dynamiques
08/28/2012:
A Brief History of Facebook's User Data Storage System
07/17/2012:
Practical Abstractions for Dynamic and Parallel Software
06/12/2012:
Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
05/23/2012:
Prolonging the Life of Linux: Is it possible or not?
05/07/2012:
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
03/13/2012:
The multiplicative power of consensus numbers
2011
12/16/2011:
Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
09/14/2011:
Recovering Disjointness from Concurrent Sharing
07/11/2011:
Virtualizing Real-time Embedded Systems with Java
06/29/2011:
The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
03/17/2011:
Adaptive Resource Management in Cloud Infrastructures
02/24/2011:
Faults in Linux: Ten Years Later
2010
11/10/2010:
HPC at Exascale : Scenarios, Software challenges and Research opportunities
07/02/2010:
The Speedup-Test
06/29/2010:
The L4 Microkernel — from research to mass deployment and back
04/12/2010:
Introduction to AMD's Advanced Synchronization Facility
03/23/2010:
Git version control system: handling concurrent development in distributed environments
02/03/2010:
Providing Ubiquitous Access to the User’s Data with FEW FS
2009
11/24/2009:
Semantic Patch Inference
11/24/2009:
Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
11/18/2009:
Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
10/30/2009:
Présentation des travaux d'Olivier Pérès
09/25/2009:
7.500 lines of C, 1 microkernel, formally proved correct
07/16/2009:
Herodotos: A Tool to Expose Bugs' Lives
06/16/2009:
Two Ways of Speeding Up Transactional Memory Algorithms
06/15/2009:
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
05/28/2009:
CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
05/28/2009:
Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
01/08/2009:
Native Client - A Sandbox for Portable, Untrusted x86 Native Code
2008
12/11/2008:
In Search of Lost Time
11/20/2008:
Research Challenges in Flash Memories
10/30/2008:
P2P overlays : VoroNet and RayNet
10/29/2008:
DĂ©mo SPLAY - "distributed applications made simple"
10/16/2008:
Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
09/11/2008:
Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
05/29/2008:
Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
04/10/2008:
Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
02/15/2008:
Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
02/07/2008:
Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
02/07/2008:
Snap-stabilization in message passing systems.
2007
11/23/2007:
Roy Friedman - Practical Random Walks in Ad-Hoc Networks
04/26/2007:
Hop a language for programming the Web 2.0
04/24/2007:
D1HT: A Distributed One Hop Hash Table (*)
03/27/2007:
OSGi Users Group France
03/08/2007:
Presque tous les objets atomiques implémentés dans des systèmes asynchrones avec transmission de messages sont universels : la hiérarchie de Herlihy devient (presque) plate
03/08/2007:
Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
02/22/2007:
Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
01/26/2007:
Séminaire REGAL
01/23/2007:
A Scalable Approach to Alleviating Database Bottlenecks
01/19/2007:
Gossip-based self-organization
2006
11/24/2006:
Maintaining Consistency in Collaboration over Hierarchical Documents
11/24/2006:
Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
11/10/2006:
Stabilizing Mobile philosophers
10/26/2006:
A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
10/20/2006:
Sprint, a middleware infrastructure
10/13/2006:
The Iconoclastic Heard-Of Model: Unifying all Benign Failures
10/06/2006:
Reliability and Availability Analysis of Self-Stabilizing Systems
09/28/2006:
SĂ©minaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
06/22/2006:
Enabling what-if explorations in a distributed storage system
03/24/2006:
La compilation dynamique pour le calcul intensif
03/20/2006:
Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
03/13/2006:
An efficient and fault-tolerant update commitment protocol for weakly connected replicas
02/17/2006:
Context-aware adaptation in ubiquitous computing environments
02/10/2006:
Dynamic life updates
02/01/2006:
Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
01/26/2006:
Jaluna OSware : La virtualisation pour systèmes embarqués