The 2024 Kubernetes Benchmark Report - Managing Workload Costs and Security
Explore key findings from the 2024 Kubernetes Benchmark Report, covering container right-sizing, reliability trends, security improvements, and ongoing challenges in K8s workload management.
Ephemeral Environments 101 - Understanding and Implementing Short-Lived Development Environments
Explore ephemeral environments in cloud-native development. Learn benefits for workflows, collaboration, testing, security, and cost control. Discover how to streamline your software development lifecycle.
Missing Chapter in Your CI Playbook: Database Guardrails
Explore database guardrails in CI/CD, addressing common issues like slow queries and schema changes. Learn proactive strategies and tools for optimizing database performance and preventing production problems.
Chaos Engineering for SRE Enablement
Explore chaos engineering principles for SRE enablement, enhancing system resilience and reliability through controlled experiments and proactive failure testing.
Building a Complex App with Test-Driven Development - Golang 2023
Develop a complex Go application using Test-Driven Development (TDD) techniques, enhancing code quality and maintainability.
Shifting Left Chaos Testing
Explore shifting left chaos testing techniques to enhance system resilience and identify vulnerabilities early in the development process.
Vaccinate Your Software - Build Its Immunity
Explore software vaccination techniques to build resilient systems and enhance immunity against failures in chaos engineering.
Apache APISIX Ingress Controller with Litmus Chaos - Building Robust Systems
Explore building robust Apache APISIX Ingress controllers using Litmus Chaos for enhanced reliability and performance in Kubernetes environments.
Building Resilience through Chaos Engineering
Explore chaos engineering principles to build resilient systems, enhance fault tolerance, and improve system reliability in complex distributed environments.
Building, Deploying and Observing SDKs as a Service
Explore building, deploying, and observing SDKs as a service with insights on streamlining development processes and enhancing software delivery.
Randomized Testing of Byzantine Fault Tolerant Algorithms
Explore ByzzFuzz, a randomized testing method for detecting errors in Byzantine fault-tolerant algorithms. Learn how it uncovers protocol and implementation bugs in blockchain systems through innovative message mutations.
Formally Verifying Optimizations with Block Simulations
Explore formal verification of compiler optimizations using block simulations. Learn about enhancing CompCert with efficient, verified validators for advanced optimizations like LCM and SR.
Automated Testing and Continuous Integration in APL Development
Explore automated testing and continuous integration in APL development using free tools, from basic function testing to GitHub Actions for automatic test runs on commits.
Algorithmic Verification - Session Preview at POPL 2023
Explore algorithmic verification techniques and their applications in program analysis, presented by expert Umang Mathur at POPL 2023's innovative session preview track.
Synthesizing Precise Static Analyzers for Automatic Differentiation
Explore Pasado, a technique for synthesizing precise static analyzers for Automatic Differentiation, improving precision in nonlinear operations and demonstrating applications in various domains.
ChatGPT Examples for Programming, InfoSec, and Fuzzing
Explore ChatGPT's versatility in programming, security, and daily tasks. Learn to create fuzzers, analyze code, find vulnerabilities, and leverage AI for various applications.
Replicating OpenSSL Vulnerabilities CVE-2022-3602 and CVE-2022-3786 - How-to Guide
Replicate OpenSSL vulnerabilities CVE-2022-3602 and CVE-2022-3786 using provided test cases. Learn to exploit, test, and confirm these vulnerabilities in specific OpenSSL versions.
Type-Safe Dynamic Placement with First-Class Placed Values
Explore type-safe dynamic placement in distributed systems using first-class placed values. Learn about Dyno, a language enabling static reasoning with dynamic placement flexibility.
Pipelines and Beyond: Graph Types for ADTs with Futures
Explore a novel graph type system enabling arbitrary combinations of futures and recursive data types in parallel programming, enhancing pipelining and performance optimization techniques.
Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code
Explore a static analyzer for OCaml C bindings, addressing safety issues and aiding migration to OCaml 5. Learn about tools and techniques to improve code reliability.
Shift Left Cloud Chaos Testing on Your Local Machine
Explore shift-left cloud chaos testing on local machines using open-source emulators. Learn key scenarios, tools, and techniques for improving cloud application resilience and testability.