Conférences et séminaires organisés depuis 2006

REGAL

  •  RainbowFS Workshop on Consistency in Distributed Storage Systems
  •  Bridging the CAP gap: the Just-Right Consistency approach
  •  Towards a Distributed Metadata Service for Causal Consistency
  •  Time and Homonyms Considerations over Community Protocols
  •  On Verifying Causal Consistency
  •  Riding the Big IoT Data Wave: Complex Analytics for IoT Data Series
  •  The Critéo Big-Data Platform
  •  Heavy Hitters in Streams and Sliding Windows
  •  The Supercloud: Opportunities and Challenges
  •  The IX Operating System Project: Energy Proportionality and Workload Consolidation for Latency-Critical Applications
  •  Outil dédiés aux systèmes distribués dynamiques : JBotSim
  •  Strong consistency with low latency random reads & writes on a distributed database: Apache HBase choices and challenges
  •  XFabric: reconfigurable network topologies at rack scale
  •  Workshop on Highly-Scalable Distributed Systems
  •  Yesquel: scalable SQL storage for Web applications
  •  OPODIS Program Chair
  •  Workshop on Database Consistency in the Cloud
  •  Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
  •  Workshop/JTE ASF on Managed runtimes
  •  Elastic and Fault-Tolerant Stream Processing in the Cloud
  •  Thread Vulnerability for Multicore Architectures
  •  Understanding and Improving Device Access
  •  Coq, the world's best macro assembler !
  •  Failure containment for extreme scale MPI applications
  •  La Société Informatique de France
  •  The Case for Reliable Software Transactional Networking
  •  Depot: from Byzantine Fault Tolerance to Eventual Consistency in a Single System
  •  SplayNet: Distributed User-Space Topology Emulation
  •  GDR-GPL Génie Logiciel Empirique
  •  WCET estimation techniques for multicore-processors
  •  SOUK: Social Observation of hUman Kinetics
  •  X-Stream: Edge-centric Graph Processing using Streaming Partitions
  •  PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs
  •  Generalized Universality
  •  A New Hierarchical Fault Tolerance Protocol for MPI HPC Applications & Unified model for fault tolerance protocols
  •  From Clarity to Efficiency for Distributed Algorithms
  •  Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
  •  Low-Redundancy Two-Dimensional RAID Arrays
  •  Distributed Exclusive Graph Searching in Trees
  •  RESAR Storage: a System for Two-Failure Tolerant, Self-Adjusting Million Disk Storage Clusters
  •  Disorderly Distributed Programming with Bloom
  •  Workshop on Language Virtual Machines and Multicore Architectures
  •  Cloud Types for Eventual Consistency
  •  S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
  •  Algorithmes de clustering pour des systèmes distribués dynamiques
  •  A Brief History of Facebook's User Data Storage System
  •  Practical Abstractions for Dynamic and Parallel Software
  •  Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach
  •  Prolonging the Life of Linux: Is it possible or not?
  •  Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
  •  The multiplicative power of consensus numbers
  •  Exposé Roy Friedman (Technion) - On Power and Throughput Tradeoffs of WiFi and Bluetooth in Smartphones
  •  Recovering Disjointness from Concurrent Sharing
  •  Virtualizing Real-time Embedded Systems with Java
  •  The Architecture of the DecentVM: Towards a decentralized virtual machine for many-core computing
  •  Adaptive Resource Management in Cloud Infrastructures
  •  Faults in Linux: Ten Years Later
  •  HPC at Exascale : Scenarios, Software challenges and Research opportunities
  •  The Speedup-Test
  •  The L4 Microkernel — from research to mass deployment and back
  •  Introduction to AMD's Advanced Synchronization Facility
  •  Git version control system: handling concurrent development in distributed environments
  •  Providing Ubiquitous Access to the User’s Data with FEW FS
  •  Semantic Patch Inference
  •  Group Scalability in Distributed Systems - Adaptively Parallelizing Distributed Range Queries
  •  Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements
  •  Présentation des travaux d'Olivier Pérès
  •  7.500 lines of C, 1 microkernel, formally proved correct
  •  Herodotos: A Tool to Expose Bugs' Lives
  •  Two Ways of Speeding Up Transactional Memory Algorithms
  •  A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
  •  CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software Transactional Memory
  •  Unleashing the Potential of Asymmetric Multicore Processors Through Operating System Support
  •  Native Client - A Sandbox for Portable, Untrusted x86 Native Code
  •  In Search of Lost Time
  •  Research Challenges in Flash Memories
  •  P2P overlays : VoroNet and RayNet
  •  Démo SPLAY - "distributed applications made simple"
  •  Nuno Preguiça - Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
  •  Joan Manuel Marquès - Treedoc: a commutative replicated data type for cooperative editing
  •  Anneli Lenica - PosNet, un overlay p2p semi-structuré basé sur un poset pour l'indexation et la localisation de données multi-dimensionnelles.
  •  Laurent d'Orazio - Caches adaptables et applications aux systèmes de gestion de données répartis à grande échelle
  •  Petr Kuznetsov - Large-Scale Byzantine Fault Tolerance: Prevention and Detection
  •  Content-Based Publish/Subscribe in P2P Using Distributed R-Trees
  •  Snap-stabilization in message passing systems.
  •  Roy Friedman - Practical Random Walks in Ad-Hoc Networks
  •  Hop a language for programming the Web 2.0
  •  D1HT: A Distributed One Hop Hash Table (*)
  •  OSGi Users Group France
  •  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
  •  Algorithmes pour la construction d'arbres couvrant des groupes dynamiques dans un graphe
  •  Marches aléatoires en algorithmique distribuée, un paradigme de conception de solutions algorithmiques pour les environnements dynamiques
  •  Séminaire REGAL
  •  A Scalable Approach to Alleviating Database Bottlenecks
  •  Gossip-based self-organization
  •  Maintaining Consistency in Collaboration over Hierarchical Documents
  •  Intergiciel extensible à base de composants adaptables pour l'informatique nomade : réplication optimiste et réconciliation.
  •  Stabilizing Mobile philosophers
  •  A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
  •  Sprint, a middleware infrastructure
  •  The Iconoclastic Heard-Of Model: Unifying all Benign Failures
  •  Reliability and Availability Analysis of Self-Stabilizing Systems
  •  Séminaire REGAL : Gathering Oblivious Mobile Robots in Finite Time.
  •  Enabling what-if explorations in a distributed storage system
  •  La compilation dynamique pour le calcul intensif
  •  Decoupling Causal Update Commitment Agreement from Update Propagation in Optimistic Replication
  •  An efficient and fault-tolerant update commitment protocol for weakly connected replicas
  •  Context-aware adaptation in ubiquitous computing environments
  •  Dynamic life updates
  •  Laundromat Computing using the Evil Man System Using Operating System Mobility for Grid Computing
  •  Jaluna OSware : La virtualisation pour systèmes embarqués