Software Testing, Verification, and Validation - Explained with Examples
Discover the fundamentals of software testing through clear explanations of verification and validation processes, with practical examples presented in Hindi for better understanding.
DevSecOps - Real Life Security Incidents and Lessons in Software Development
Explore real-world cybersecurity incidents and discover crucial lessons about integrating security measures throughout the software development lifecycle to prevent vulnerabilities and attacks.
Tales of Program Crashes and Vulnerabilities - Software Security Research and Mitigation
Explore software security through vulnerability discovery, exploitation prevention, and compartmentalization strategies to enhance system protection and mitigate potential threats.
Unlocking Seamless Collaboration: Design-First APIs for Components
Explore design-first API approach for UI components to enhance collaboration between front-end and back-end teams. Learn to treat complex components as black-boxes with well-defined APIs for seamless development.
Source-Based Code Coverage of Linux Kernel
Explore source-based code coverage techniques for the Linux kernel, enhancing testing and development practices for improved kernel reliability.
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.
How is Kernel Getting Along with Many cgroups
Explore kernel performance with numerous cgroups, examining scalability challenges and potential optimizations for improved system management.
The Underground Culture Around Custom CPU Schedulers
Explore the underground culture of custom CPU schedulers and their impact on Linux system performance.
Bringing the PuzzleFS Pieces Together
Explore PuzzleFS's innovative approach to file system design, focusing on its modular architecture and potential applications in modern computing 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.
Unification of RAS Feature Control - Enhancing EDAC
Enhance RAS feature control through unification, focusing on EDAC improvements and advancements in Linux systems.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Discover how BASIL enhances kernel testing, identifies gaps, and improves functional safety in Linux systems. Learn innovative techniques for robust software development.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.
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.
Structuring Modules in an Android App Project for Improved Productivity
Explore effective strategies for organizing and structuring modules in Android app projects to enhance productivity and streamline development workflows.
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.
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.
Propagator Networks for Degenerate Computation - Enhancing Software Robustness
Explore propagator networks as a robust architecture for degenerate computation, enabling software evolution, operational feedback, and language mixing, with bioinformatics examples.
A Cocktail Approach to Practical Call Graph Construction
Explore a novel cocktail approach for efficient call graph construction in C-based software, improving precision and scalability for vulnerability detection and code understanding.