Date & Time
Monday, October 27, 2025, 8:30 AM - 5:30 PM
Name
Supporting Memory Safety in LLVM
Session Type
Workshop
Description
Memory safety is quickly changing from a luxury to a necessity, driven by increased security requirements and regulatory pressure. In this workshop, we'll bring together practitioners, developers, and enthusiasts interested in supporting memory safety in the context of Clang and LLVM. This includes techniques that improve the memory safety and security of C and C++ programs (like static analysis, dynamic mitigations and best practices), representing and optimizing memory-safety constructs, and interoperation across languages. The workshop will be a mix of talks and hands-on activities (like roundtables), with the goal of fostering community, sharing knowledge and kickstarting collaboration.
Talk Order
<p>8:30 - 8:40: <strong>Welcome </strong>- David Tarditi and Yitzhak Mandelbaum</p>
<p>8:40 - 9:00: <strong>The LLVM Memory Safety Working Group</strong> - Max Shavrick</p>
<p>9:00 - 9:30: <strong>Demystifying -fbounds-safety: Current and Future</strong> - Yeoul Na</p>
<p>9:30 - 10:00: <strong>Development of a C++ Array Spanification Tool</strong> - Wontae Choi</p>
<p>10:00 - 10:30: <strong>Break</strong></p>
<p>10:30 - 11:00: <strong>A Framework for Allocator Partitioning Hints</strong> - Stefan Blair</p>
<p>11:00 - 11:30: <strong>Memory safe C/C++ interop in Swift </strong>- Henrik Olsson and Gábor Horváth</p>
<p>11:30 - 12:30: <strong>Lightning talks</strong><br />
Lifetime Safety in Clang: Trailer - Utkarsh Saxena<br />
Inexpressible Lifetime Annotations - Gábor Horváth<br />
Cross-TU Analysis and Transformation RFC - Jan Korous<br />
Combining Memory Tagging and Type-Isolating Allocators - Julian Lettner<br />
Strict Memory Safety in Swift - Doug Gregor<br />
_FORTIFY_SOURCE in Android - Sharjeel Khan<br />
Verifying Correctness of Bounds Check Elimination - Florian Hahn</p>
<p>12:30 - 1:30: <strong>Lunch</strong></p>
<p>1:30 - 3:00: <strong>Breakout/Roundtables (1)</strong></p>
<p>3:00 - 3:30: <strong>Break</strong></p>
<p>3:30 - 4:00: <strong>Breakout/Roundtables (2)</strong></p>
<p>4:00 - 4:30: <strong>BorrowSanitizer: Finding Ownership Bugs in Multilanguage Rust Applications</strong>, Ian McCormick</p>
<p>4:30 - 5:00: <strong>Structure protection, a family of UAF mitigation techniques</strong>, Peter Collingbourne</p>
<p>5:00 - 5:20: <strong>Breakout/Roundtables Summaries</strong></p>
<p>5:20 - 5:30: <strong>Close</strong></p>
<p>8:40 - 9:00: <strong>The LLVM Memory Safety Working Group</strong> - Max Shavrick</p>
<p>9:00 - 9:30: <strong>Demystifying -fbounds-safety: Current and Future</strong> - Yeoul Na</p>
<p>9:30 - 10:00: <strong>Development of a C++ Array Spanification Tool</strong> - Wontae Choi</p>
<p>10:00 - 10:30: <strong>Break</strong></p>
<p>10:30 - 11:00: <strong>A Framework for Allocator Partitioning Hints</strong> - Stefan Blair</p>
<p>11:00 - 11:30: <strong>Memory safe C/C++ interop in Swift </strong>- Henrik Olsson and Gábor Horváth</p>
<p>11:30 - 12:30: <strong>Lightning talks</strong><br />
Lifetime Safety in Clang: Trailer - Utkarsh Saxena<br />
Inexpressible Lifetime Annotations - Gábor Horváth<br />
Cross-TU Analysis and Transformation RFC - Jan Korous<br />
Combining Memory Tagging and Type-Isolating Allocators - Julian Lettner<br />
Strict Memory Safety in Swift - Doug Gregor<br />
_FORTIFY_SOURCE in Android - Sharjeel Khan<br />
Verifying Correctness of Bounds Check Elimination - Florian Hahn</p>
<p>12:30 - 1:30: <strong>Lunch</strong></p>
<p>1:30 - 3:00: <strong>Breakout/Roundtables (1)</strong></p>
<p>3:00 - 3:30: <strong>Break</strong></p>
<p>3:30 - 4:00: <strong>Breakout/Roundtables (2)</strong></p>
<p>4:00 - 4:30: <strong>BorrowSanitizer: Finding Ownership Bugs in Multilanguage Rust Applications</strong>, Ian McCormick</p>
<p>4:30 - 5:00: <strong>Structure protection, a family of UAF mitigation techniques</strong>, Peter Collingbourne</p>
<p>5:00 - 5:20: <strong>Breakout/Roundtables Summaries</strong></p>
<p>5:20 - 5:30: <strong>Close</strong></p>
Location Name
Newport/Santa Barbara