Compile-time Detection of Atomic Context Violations for Kernel Rust Code
Explore Klint, a tool for detecting atomic context violations in kernel Rust code at compile-time, enhancing safety without runtime costs or ergonomic issues.
Compiling for Verified Targets: BPF Optimization Challenges
Exploring strategies for compiling BPF programs that meet strict kernel verifier requirements. Discusses challenges, potential solutions, and future implications for optimizing compilers targeting verified environments.
Hunting Heisenbugs - Techniques for Debugging Elusive Software Errors
Explore techniques to debug elusive software issues that change or disappear during observation, inspired by physics principles. Learn strategies to create "anti-heisenbugs" for effective problem-solving.
Rust for Linux - Progress and Future Directions
Exploring Rust integration in Linux: progress, safe abstractions, tooling, and future directions. Highlights include core functionality, kernel primitives, pinned-init API, and workflow changes.
Main App Methodology for Bug Bounty Hunting
Discover a unique and effective methodology for app testing, learning from an expert's successful approach to enhance your own skills and techniques.
Writing Test Cases for GNU Hyperbole - Q&A Session
Insights from writing test cases for GNU Hyperbole, exploring challenges and lessons learned in software development and testing within the Emacs ecosystem.
Host Kernel Qualification for Cloud Computing at Scale
Explore challenges and solutions in kernel qualification for cloud computing, focusing on functionality, performance, and automation for large-scale infrastructure management.
Object Lifetime Issues in Linux Kernel - Safety Implications and Solutions
Explore object lifetime issues in Linux kernel, their impact on safety certifications, and strategies for addressing them. Includes test patterns, process implications, and potential fixes.
Writing a Language Server in OCaml for Emacs - Fun and Profit
Explore writing a language server in OCaml for Emacs, covering LSP basics, implementation tips, and integration with Emacs for enhanced coding experience and security analysis.
Using Static Analysis to Catch Configuration Vulnerabilities
Learn to secure containers and IaC using static analysis. Discover how to identify misconfigurations, prevent vulnerabilities, and implement early detection in your development workflow for improved application security.
Introduction to NoSQLBench - Capabilities and Use Cases for Apache Cassandra
Explore NoSQLBench's unique capabilities, its purpose, and future direction. Learn how this tool can be invaluable for Apache Cassandra adoption and performance testing.
Fighting Test Flakiness with Time Machines
Explore time machine solutions in modern testing frameworks to effectively debug flaky tests, comparing tools like Cypress, Playwright, and Replay.io for improved test reliability.
Everyone Can Easily Write Tests with Playwright
Explore Playwright's tools for effortless end-to-end testing, including Codegen for automated test generation, UI mode for improved developer experience, and tips for reliable tests and CI integration.
The Art of Humble Views: Testing React Native Apps the Smart Way
Explore 'Humble Views' for efficient React Native testing. Learn to extract logic from UI, use MVP architecture, and balance test coverage for scalable, maintainable apps.
The Future of Understanding Ruby Code - Ruby 3.3 Parsing API
Explore the evolution of Ruby code parsing and the new unified API in Ruby 3.3, revolutionizing how developers understand and work with Ruby code.
The Secret Ingredient: How to Understand and Resolve Flaky Tests
Uncover the common thread in flaky tests and learn effective strategies to understand and resolve them, with a focus on overcoming Daylight Saving Time challenges in Ruby programming.
Behind the Scenes of tox - Rewriting a Popular Python Tool
Explore the journey of rewriting tox, a popular Python test automation tool. Learn about motivations, challenges, design decisions, and lessons from this ambitious project spanning over three years.
The Life and Times of a Node.js Release
Explore the intricate process of Node.js releases, from API discussions to testing and documentation. Learn about major updates, security patches, and long-term support management.
SyzDescribe - Automated Static Generation of Syscall Descriptions for Kernel Drivers
Automated generation of syscall descriptions for Linux kernel drivers, enhancing Syzkaller's bug-finding capabilities and improving accuracy, coverage, and crash detection in kernel fuzzing.
Write Once, Distribute Everywhere: Modern Graphical User Interfaces on Linux Using Go and Fyne
Learn to create cross-platform GUI applications using Go and Fyne, covering development, testing, and distribution for desktop and mobile platforms.
Bug Hunting Using Symbolic Virtual Machines - Hack.lu 2017
Explore symbolic execution for vulnerability discovery and reverse engineering. Learn KLEE symbolic virtual machine basics to solve complex challenges in software security.