Laboratoire d’informatique

Le LIP6 souhaite à toutes et tous un très joyeux Noël !

Archive des évènements

REGAL

2017

03/05/2017: RainbowFS Workshop on Consistency in Distributed Storage Systems
21/04/2017: Bridging the CAP gap: the Just-Right Consistency approach
31/03/2017: Towards a Distributed Metadata Service for Causal Consistency
04/03/2017: Time and Homonyms Considerations over Community Protocols
28/02/2017: On Verifying Causal Consistency
22/02/2017: Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series

2016

12/12/2016: The Critéo Big-Data Platform
21/09/2016: Heavy Hitters in Streams and Sliding Windows
02/06/2016: The Supercloud: Opportunities and Challenges
04/02/2016: The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications

2015

18/06/2015: Outil dédiés aux systèmes distribués dynamiques : JBotSim
17/04/2015: Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
01/04/2015: XFabric: reconfigurable network topologies at rack scale
14/01/2015: Workshop on Highly-Scalable Distributed Systems

2014

19/11/2014: Yesquel: scalable SQL storage for Web applications
30/09/2014: OPODIS Program Chair
15/09/2014: Workshop on Database Consistency in the Cloud
24/07/2014: Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
06/06/2014: Workshop/JTE ASF on Managed runtimes
21/05/2014: Elastic and Fault-Tolerant Stream Processing in the Cloud
02/04/2014: Thread Vulnerability for Multicore Architectures
01/04/2014: Understanding and Improving Device Access
18/02/2014: Coq, the world's best macro assembler !
03/02/2014: Failure containment for extreme scale MPI applications
31/01/2014: La Société Informatique de France
15/01/2014: The Case for Reliable Software Transactional Networking

2013

30/10/2013: Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
28/10/2013: SplayNet: Distributed User-Space Topology Emulation
23/10/2013: GDR-GPL Génie Logiciel Empirique
25/09/2013: WCET estimation techniques for multicore-processors
22/07/2013: SOUK: Social Observation of hUman Kinetics
06/06/2013: X-Stream: Edge-centric Graph Processing using Streaming Partitions
05/06/2013: PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
28/05/2013: Generalized Universality
12/04/2013: A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
27/03/2013: From Clarity to Efficiency for Distributed Algorithms
20/03/2013: Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
20/03/2013: Low-Redundancy Two-Dimensional RAID Arrays
01/03/2013: Distributed Exclusive Graph Searching in Trees
25/02/2013: RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
14/02/2013: Disorderly Distributed Programming with Bloom

2012

27/09/2012: Workshop on Language Virtual Machines and Multicore Architectures
26/09/2012: Cloud Types for Eventual Consistency
11/09/2012: S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
06/09/2012: Algorithmes de clustering pour des systèmes distribués dynamiques
28/08/2012: A Brief History of Facebook's User Data Storage System
17/07/2012: Practical Abstractions for Dynamic and Parallel Software
12/06/2012: Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
23/05/2012: Prolonging the Life of Linux: Is it possible or not?
07/05/2012: Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
13/03/2012: The multiplicative power of consensus numbers

2011

16/12/2011: Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
14/09/2011: Recovering Disjointness from Concurrent Sharing
11/07/2011: Virtualizing Real-time Embedded Systems with Java
29/06/2011: The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
17/03/2011: Adaptive Resource Management in Cloud Infrastructures
24/02/2011: Faults in Linux: Ten Years Later

2010

10/11/2010: HPC at Exascale : Scenarios, Software challenges and Research opportunities
02/07/2010: The Speedup-Test
29/06/2010: The L4 Microkernel — from research to mass deployment and back
12/04/2010: Introduction to AMD's Advanced Synchronization Facility
23/03/2010: Git version control system: handling concurrent development in distributed environments
03/02/2010: Providing Ubiquitous Access to the User’s Data with FEW FS

2009

24/11/2009: Semantic Patch Inference
24/11/2009: Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
18/11/2009: Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
30/10/2009: Présentation des travaux d'Olivier Pérès
25/09/2009: 7.500 lines of C, 1 microkernel, formally proved correct
16/07/2009: Herodotos: A Tool to Expose Bugs' Lives
16/06/2009: Two Ways of Speeding Up Transactional Memory Algorithms
15/06/2009: A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
28/05/2009: CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
28/05/2009: Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
08/01/2009: Native Client - A Sandbox for Portable, Untrusted x86 Native Code

2008

11/12/2008: In Search of Lost Time
20/11/2008: Research Challenges in Flash Memories
30/10/2008: P2P overlays : VoroNet and RayNet
29/10/2008: Démo SPLAY - "distributed applications made simple"
16/10/2008: Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
11/09/2008: Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
29/05/2008: Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
10/04/2008: Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
15/02/2008: Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
07/02/2008: Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
07/02/2008: Snap-stabilization in message passing systems.

2007

23/11/2007: Roy Friedman - Practical Random Walks in Ad-Hoc Networks
26/04/2007: Hop a language for programming the Web 2.0
24/04/2007: D1HT: A Distributed One Hop Hash Table (*)
27/03/2007: OSGi Users Group France
08/03/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
08/03/2007: Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
22/02/2007: Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
26/01/2007: Séminaire REGAL
23/01/2007: A Scalable Approach to Alleviating Database Bottlenecks
19/01/2007: Gossip-based self-organization

2006

24/11/2006: Maintaining Consistency in Collaboration over Hierarchical Documents
24/11/2006: Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
10/11/2006: Stabilizing Mobile philosophers
26/10/2006: A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
20/10/2006: Sprint, a middleware infrastructure
13/10/2006: The Iconoclastic Heard-Of Model: Unifying all Benign Failures
06/10/2006: Reliability and Availability Analysis of Self-Stabilizing Systems
28/09/2006: Séminaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
22/06/2006: Enabling what-if explorations in a distributed storage system
24/03/2006: La compilation dynamique pour le calcul intensif
20/03/2006: Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
13/03/2006: An efficient and fault-tolerant update commitment protocol for weakly connected replicas
17/02/2006: Context-aware adaptation in ubiquitous computing environments
10/02/2006: Dynamic life updates
01/02/2006: Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
26/01/2006: Jaluna OSware : La virtualisation pour systèmes embarqués