Anvil: Verifying Liveness of Cluster Management Controllers
Innovative framework for verifying liveness in cluster management controllers, ensuring continuous reconciliation to desired states despite failures and asynchrony in cloud environments.
Data Caching for Enterprise-Grade Petabyte-Scale OLAP
Explores Alluxio local cache for petabyte-scale OLAP, optimizing data transfer efficiency in decoupled compute-storage models. Shares insights from Uber and Meta deployments.
Ethane - An Asymmetric File System for Disaggregated Persistent Memory
Innovative file system leveraging disaggregated persistent memory to enhance performance and cost-effectiveness in distributed environments, outperforming modern alternatives by up to 68x.
Pecan: Cost-Efficient ML Data Preprocessing with Automatic Transformation Ordering and Hybrid Placement
Optimize ML data preprocessing costs with Pecan's dynamic worker scheduling and transformation reordering, reducing preprocessing expenses by 87% and total training costs by up to 60%.
Kivi: Verification for Cluster Management in Kubernetes
Kivi: A pioneering system for verifying Kubernetes controllers and configurations, addressing challenges in cloud infrastructure management through model checking and optimization techniques.
Monarch: A Fuzzing Framework for Distributed File Systems
Innovative fuzzing framework for distributed file systems, addressing complexity and scalability challenges through multi-node architecture, fault injection, and semantic checking.
Synthesizing Distributed Protocols from Global Session Types
Automata-theoretic approach to synthesizing distributed protocols from global session types, introducing a sound and complete projection operator for multiparty session types.
Using Camunda for Migrating from Monolith to Microservices
Explore how Camunda's workflow engine simplifies migrating from monoliths to microservices, addressing challenges and offering solutions for seamless service extraction and development planning.
Monolith to Microservices: Lessons Learned
Explore lessons learned in transitioning from monolithic to microservices architecture, including challenges, strategies, and best practices for successful implementation in large-scale systems.
Building High Performance Real-time Stream Processing Microservices - GeeCON 2023
Discover best practices for real-time stream processing, addressing challenges and optimizing projects for scalability, performance, failover, reliability, and data recovery using the Hazelcast platform.
Event Sourcing - What Could Possibly Go Wrong?
Explore challenges and solutions in Event Sourcing implementation, covering storage, schema evolution, scalability, and consistency. Learn from real-world experiences to optimize your ES architecture.
Kubernetes Resiliency
Explore Kubernetes resiliency strategies for infrastructure, components, and applications. Learn best practices for robust cluster configuration and application deployment on AKS and Azure.
Balancing Coupling in Software Design
Explore coupling in software design as a tool for creating evolvable systems. Learn to evaluate and optimize architectural decisions using a coherent model for assessing system decomposition.
Billing the Cloud - Real World Stream Processing
Explore real-time stream processing for big data, focusing on implementing real-time billing from resource events in distributed systems. Learn key concepts and a reference architecture.
Integrating the Three Dimensions of Quality into Platform Engineering
Explore a novel approach to continuous quality analysis in platform engineering, reducing cognitive load and enhancing developer experience for distributed systems.
What Apache Kafka Developers Can Learn from Online Gaming
Explore how online gaming concepts enhance large-scale event management in Apache Kafka, including latency masking, conflict resolution, and seamless collaboration techniques for improved real-time data processing.
Improving Scalability and Performance with Kafka Leader Election
Explore Kafka leader election's role in improving scalability and performance. Learn about failover processes, preferred leaders, and optimizations for efficient data replication and consistency in distributed systems.
AWS: Your Ally Against Observability Anti-Patterns
Explore AWS's role in combating observability anti-patterns, covering digital transformation, distributed systems, and microservices. Learn about logs, metrics, tracers, and AWS's observability maturity model.
Why Decentralized Monitoring Matters
Explore decentralized monitoring's advantages over centralized systems, focusing on fidelity, scalability, cost, accuracy, resilience, efficiency, and data privacy. Learn about Netdata's approach and future trends.
Netdata: Open Source Distributed Observability Pipeline
Explore Netdata's open-source distributed observability pipeline, addressing challenges in monitoring, real-time analytics, and AI-powered correlations for comprehensive system insights.
Conflict Resolution for Eventual Consistency
Explore eventual consistency in distributed systems, focusing on conflict resolution techniques for collaborative editors, mobile apps, and multi-datacenter databases. Learn strategies for offline functionality and data synchronization.