[CfP] 2025 Workshop on Supporting Memory Safety in LLVM

Announcements
1

Call for Talks: Workshop on Supporting Memory Safety in LLVM

We are soliciting full-length talks (25 minutes) and lightning talks (5 minutes) for the 2025 Workshop on Supporting Memory Safety in LLVM. Talk topics include (but are not limited to):

  • 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,

  • memory-safe interoperation across languages

Talk kinds of particular interest include:

  • overviews of ongoing projects (research/industry),

  • experience reports,

  • proposals for new work (like RFCs).

Submit a proposal here. Talk proposals should include a title, speaker name, and abstract describing the planned talk. The proposal submission deadline is Friday, September 19, 2025.

The full-day workshop is co-located with the US LLVM Developers’ Meeting and scheduled for October 27, 2025 (immediately prior to the Developer’s Meeting).

Workshop description: Memory safety is quickly changing from a luxury to a necessity, driven by increased security requirements and regulatory pressure. This workshop brings 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.

Key Dates:

  • Dev. Meeting Early Bird registration closes: Friday, September 5, 2025.

  • Talk proposal submission deadline: Friday, September 19, 2025.

  • Talk proposal notification (tentative): Monday, September 29, 2025.

  • Dev. Meeting registration closes: Friday, October 17, 2025.

Organizers:

  • David Tarditi, Apple.

  • Yitzhak Mandelbaum, Google.

5 Likes
2

Reminder: talk proposal submissions due today, Sept 19.

3

We’re happy to announce the workshop schedule! A special thanks to our review committee in selecting these talks:

  • Arlie Davis (Microsoft)
  • Aravind Kumar Machiry (Purdue)
  • Oskar Wirga (Meta)
  • Jie Zhou (George Washington University)

– Yitzhak Mandelbaum (Google) and David Tarditi (Apple), Organizers

Time Activity Speaker
8:30 - 8:40 Welcome David Tarditi and Yitzhak Mandelbaum
8:40 - 9:00 The LLVM Memory Safety Working Group Max Shavrick
9:00 - 9:30 Demystifying -fbounds-safety: Current and Future Yeoul Na
9:30 - 10:00 Development of a C++ Array Spanification Tool Wontae Choi
10:00 - 10:30 Break
10:30 - 11:00 A Framework for Allocator Partitioning Hints Stefan Blair
11:00 - 11:30 Memory safe C/C++ interop in Swift Henrik Olsson and Gábor Horváth
11:30 - 12:30 Lightning talks
Lifetime Safety in Clang: Trailer Utkarsh Saxena
Inexpressible Lifetime Annotations Gábor Horváth
Cross-TU Analysis and Transformation RFC Jan Korous
Combining Memory Tagging and Type-Isolating Allocators Julian Lettner
Strict Memory Safety in Swift Doug Gregor
_FORTIFY_SOURCE in Android Sharjeel Khan
Verifying Correctness of Bounds Check Elimination Florian Hahn
12:30 - 1:30 Lunch
1:30 - 3:00 Breakout/Roundtables (1)
3:00 - 3:30 Break
3:30 - 4:00 Breakout/Roundtables (2)
4:00 - 4:30 BorrowSanitizer: Finding Ownership Bugs in Multilanguage Rust Applications Ian McCormick
4:30 - 5:00 Structure protection, a family of UAF mitigation techniques Peter Collingbourne
5:00 - 5:20 Breakout/Roundtables Summaries
5:20 - 5:30 Close
3 Likes