Vorträge und Seminare seit 2006
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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.
- 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
- 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
- Mentions légales
- Plan