Common Git Repository for Hosting Boot Firmware
Explore a unified Git repository for boot firmware, enhancing collaboration and streamlining development processes in embedded systems.
Challenges in Developing Trustworthy Linux-Based Systems in an Open-Source Way
Explore challenges and solutions for developing trustworthy Linux-based systems using open-source methodologies, focusing on security and reliability considerations.
Generating BPF Infrared Decoders Using Finite Automations
Generate BPF infrared decoders efficiently using finite automations. Explore advanced techniques for optimizing decoder performance in Linux systems.
Remote Build Execution for Kernel Developers
Explore remote build execution techniques for efficient kernel development, optimizing workflows and enhancing productivity in distributed environments.
The Role of C Libraries in a Modern Build System
Explore the significance of C libraries in contemporary build systems and their impact on software development processes.
Build Systems, Traceability and Compliance
Explore build systems, traceability, and compliance in Linux development with insights from industry expert Arnout Vandecappelle.
Agni: Fast Formal Verification of the Verifier's Range Analysis
Explore fast formal verification techniques for range analysis in the Linux kernel's eBPF verifier, enhancing security and performance.
The State of eBPF Fuzzing
Explore the current landscape of eBPF fuzzing techniques and their impact on Linux kernel security and performance optimization.
Building a Paywall with BillingClient 5 - Joys and Challenges
Explore BillingClient 5's flexibility for new paywall configurations. Learn implementation examples, benefits, and challenges for a successful migration to Google Play Billing Library 5.
Make Gradle Work for You - Creating Custom Tasks and Plugins
Découvrez comment créer des tâches et plugins Gradle personnalisés pour automatiser des processus manuels et optimiser votre flux de travail de développement Android.
The Art of KMP: How I Learned Backend Development with Kotlin and Why You Should Too
Explore backend development with Kotlin for web and desktop apps. Learn framework options, resources, and benefits of using Kotlin beyond Android development.
The Rise and Fall of Feature Teams
Explore the challenges of cross-functional teams in scaling organizations. Learn from SoundCloud's experience and discover alternative approaches to team structure and collaboration.
What if ADB Does Not Have to Be That Complicated?
Simplify Android Debug Bridge (ADB) usage with practical tips and techniques for more efficient app development and debugging.
8-Bit Shack: New Software for the Apple II
Explore 8-Bit Shack's floppy disk production process for new and classic Apple II software, including custom packaging and on-demand services.
Installing and Using Jackalope Fuzzer on MacOS - Finding Vulnerabilities in Simple Programs
Install and use jackalope fuzzer on MacOS to find vulnerabilities in binary programs. Learn cloning, compilation, command options, and practical fuzzing techniques.
Automating Application Builds with AWS - Dyalog '22
Explore automating application builds using AWS resources for on-demand releases, covering VM creation, tooling installation, and efficient deployment processes.
Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
Explore a novel approach to run-time assertions that balances robustness and scalability, gradually transitioning from "on" to "off" as confidence in code correctness increases over time.
SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java
Explore SHARP, a groundbreaking incremental context-sensitive pointer analysis algorithm for Java, offering improved performance and scalability for large-scale programs.
Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation
Explore coverage-guided fuzzing for tensor compilers using joint IR-pass mutation, enhancing reliability and detecting bugs in deep learning systems.
Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.
Towards Mailbox Typing for Erlang - Lightning Talk
Explore mailbox typing for Erlang: a new technique to detect concurrency errors in actor-based languages, complementing existing tools like Concuerror model checker.