ROLEX - A Scalable RDMA-oriented Learned Key-Value Store for Disaggregated Memory Systems
Scalable RDMA-oriented learned key-value store for disaggregated memory systems, improving performance on dynamic workloads and addressing challenges in data storage and retrieval.
MadFS - Per-File Virtualization for Userspace Persistent Memory Filesystems
Explores per-file virtualization for userspace persistent memory filesystems, introducing MadFS with embedded metadata, crash consistency, and optimistic concurrency control for improved performance and scalability.
Micro-Policies - Formally Verified, Tag-Based Security Monitors
Explore formally verified tag-based security monitors for low-level policies. Learn about dynamic sealing, compartmentalization, control-flow integrity, and memory safety implementation.
Virtual Consensus in Delos
Explores virtualizing consensus in replicated systems, enabling dynamic protocol changes without downtime. Introduces VirtualLog and Loglets for simplified, diverse, and composable consensus implementations, showcasing benefits in the Delos database.
An I/O Separation Model for Formal Verification of Kernel Implementations
Explore a novel I/O separation model for rigorously verifying kernel implementations, enhancing system reliability and security through advanced formal methods.
A Secure and Formally Verified Linux KVM Hypervisor
Explore a formally verified Linux KVM hypervisor, enhancing security and reliability in virtualization environments through rigorous mathematical proofs and advanced verification techniques.
Why Crypto-Detectors Fail - A Systematic Evaluation of Cryptographic Misuse Detection Techniques
Systematic evaluation of cryptographic misuse detection techniques, exploring limitations and failures of crypto-detectors to improve cybersecurity practices and tool effectiveness.
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Explore advanced features of ProVerif for protocol verification, including lemmas, induction, and fast subsumption techniques to enhance security analysis capabilities.
Die Softwarekrise v4.0
Überblick über Softwarekrisen seit den 1960ern und Ausblick auf mögliche zukünftige Entwicklungen aus technikphilosophischer Perspektive. Diskussion der Ursachen, Auswirkungen und Lösungsansätze für aktuelle und kommende Herausforderungen.
DevOps Disasters 3.1
Humorvolle Präsentation über DevOps-Pannen, Docker-Probleme und fragwürdige Software-Konzepte aus dem Jahr 2020. Interaktiv mit Möglichkeit, eigene Erfahrungen einzureichen.
Weeks of Debugging Can Save You Hours of TLA+
Explore TLA+ for reliable system design through a hands-on approach, solving a subtle concurrency issue to demonstrate its power in preventing critical failures and reducing debugging time.
Shortening the Architectural Feedback Loop
Explore strategies to shorten architectural feedback loops, enhancing agility and decision-making in software development. Learn practical tips for effective communication and documentation in agile architecture.
Resilience Engineering in a Microservice Landscape
Explore fault tolerance techniques for microservices, including fallbacks, timeouts, and circuit breakers, to enhance resilience in large-scale online retail platforms.
Managing Complexity in Software
Insightful discussion on managing software complexity, exploring over-engineering, context-based solutions, and software cycles. Features JetBrains' Hadi Hariri and consultant Kevlin Henney sharing expert perspectives.
Principles of Web API Design
Discover key principles for successful API design, including the ADDR process, job stories, event storming, and API boundaries. Learn about minimum viable portals and the ongoing API journey.
Machine Learning for Developer Self-Care
Explore how Facebook applies AI and ML to enhance developer productivity, from bug prevention to code reviews. Learn about innovative tools and techniques for efficient software development at scale.
Kafka as a Platform - The Ecosystem from the Ground Up
Explore Apache Kafka's ecosystem: from basic messaging to advanced streaming platform. Learn about topics, partitioning, APIs, stream processing, and enterprise-grade features for scalable data infrastructure.
Events, Dear Boy, Events
Explore event-driven architectures in microservices, examining philosophical perspectives on identity and change. Learn to balance event streams with traditional data models for robust system design.
Apache Kafka for the Spring Developer
Explore Apache Kafka integration with Spring ecosystem for scalable, event-driven architectures. Learn Spring Kafka, Reactor Kafka, Spring Cloud Stream, and Spring Cloud Function through live coding examples.
Searching a Silver Bullet
Exploring software engineering challenges in scaling teams and businesses, with insights on holistic problem-solving and distributed agile teams across geographies.
Design for Errors - An Introduction to Domain Modeling with a Bit of Arrow
Explore Domain Driven Design and Arrow data types to build clear, resilient, and maintainable APIs through a step-by-step implementation process.