Resource Polymorphism: Integrating First-Class Resources into ML
Explore resource polymorphism in ML, integrating destructors and resource types for enhanced memory management and functional programming in systems and parallel contexts.
Programming for the Planet - Functional Programming for Environmental Analysis
Explore functional programming's role in building resilient systems for climate analysis, addressing global crises through data-driven conservation and policy decisions.
Rust in the Linux Kernel - A Status Check
Explore Rust's integration into the Linux Kernel, examining current capabilities, limitations, and interactions with existing C code. Gain insights into the progress of Rust adoption.
Heap Optimizations for Go Systems
Optimize Go systems' heap usage through advanced techniques and strategies for improved performance and resource management.
Rusty Swapping: Rewriting a Zswap Backend in Rust
Explore Rust's application in Linux kernel development through a zswap backend rewrite. Compare performance and complexity of C and Rust implementations for subsystem development.
A Whirlwind Tour of Rust - Systems Programming for the Modern Developer
Explore Rust's innovative approach to systems programming, offering C/C++-level performance with enhanced safety features. Learn language fundamentals and modern development tools.
Async Rust: The Good, the Bad, and the Ugly
Explore Rust's async/await feature, its evolution since 2018, strengths, weaknesses, and lessons from production use. Gain insights into its design and future developments.
Giving Rust a Chance for In-Kernel Codecs - Kernel Recipes 2024
Explore Rust integration in kernel development for V4L2 codec drivers, focusing on minimal abstractions and ABI compatibility strategies.
Interfacing Kernel C APIs from Rust - Kernel Recipes 2024
Explore Rust integration in Linux kernel development, focusing on block device driver APIs, safety guarantees, and performance implications for device drivers.
Introduction to Rust: Fundamentals, Popularity, and Key Features
Explore Rust's fundamentals, popularity, and key features like ownership and borrowing for high-performance systems programming.
Integrating Rust with Other Languages - Get the Best of Both Worlds
Explore integrating Rust with C, C++, and Java to leverage its strengths in existing applications. Learn practical examples and techniques for seamless language interoperability.
Oxidizing rpm-ostree - Experiences in Migrating to Rust
Explore the gradual transition of rpm-ostree, a core component of hermetic Linux distributions, to Rust. Gain insights into the ongoing efforts and experiences of oxidizing this crucial software.
Rust in the Linux Kernel - Implementing Complex Drivers
Explore Rust's integration into the Linux kernel, examining the experience of building complex drivers and the journey of introducing a new language to this critical project.
Modernizing Falco with Go - A Story of Love and Betrayal
Explore the challenges and solutions of integrating Go with complex C++ codebases, focusing on Falco's adoption of CGO for performance-critical runtime security in cloud-native environments.
Filesystem in Rust
Explore Rust-based filesystem development with Kent Overstreet, focusing on innovative approaches and performance optimizations for modern storage systems.
Combining Rust and Zig in Programming - Benefits and Considerations
Explore the surprising benefits of combining Rust and Zig in programming projects, focusing on memory safety, simplicity, and practical applications in language development.
Rusty Swapping: Rewriting a zswap Backend in Rust
Explore the rewrite of a zswap backend in Rust, comparing performance and complexity with its C counterpart. Learn about implementation challenges and insights for kernel subsystem development.
Update on Rust in Zephyr
Explore the latest developments in Rust integration with Zephyr, including the current RFC and challenges related to device-tree implementation.
Classic Vulnerabilities
Explore classic vulnerabilities in native exploitation, their recent resurgence, and modern tools for detection and prevention in this comprehensive security talk.
A Tour Through Ferrocene Development
Explore Ferrocene, an open-source Rust compiler variant designed for safety-critical systems in automotive and aviation, focusing on its documentation, correctness principles, and implementation approach.
Can We Reason About the Security of Concurrent Systems Code?
Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.