Uploaded May 2026 | Updated September 2026, 2 weeks ago
https://cppcon.org
---
Lightning Talk: Proof Searching in DepC - Raffaele Rossi - CppCon 2025
---
News articles in recent years have highlighted the problem of memory safety in System Programming languages like C and C++, with governments urging companies to move to Rust. Among memory safety errors, buffer overflows and dangling references are the most typical. Dependent Types are known to help with the former, by encoding the length of arrays in their types. Rust’s Borrow Checker helps with the latter, but its approach is unique and does not reconcile with Dependent Types. I propose new inference rules in the theory of Dependent Types that prove, at compile-time, that references are valid and can be safely dereferenced.
---
Work at Hudson River Trading (HRT): tinyurl.com/safxfctf
---
Raffaele Rossi
By day I am a Tech Lead at Maven Securities. In my spare time I work on DepC, like C/C++ but with Dependent Types
---
CppCon is the annual, week-long face-to-face gathering for the entire C++ community. The conference is organized by the C++ community for the community. You will enjoy inspirational talks and a friendly atmosphere designed to help attendees learn from each other, meet interesting people, and generally have a stimulating experience. Taking place this year in Aurora, Colorado, near the Denver airport, and including multiple diverse tracks, the conference will appeal to anyone from C++ novices to experts.
Annual CppCon Conference - cppcon.org
linkedin.com/company/cppcon
https://x.com/cppcon
facebook.com/CppConference
reddit.com/r/cppcon
https://mastodon.social/@CppCon
---
Videos Filmed & Edited by Bash Films: BashFilms.com
YouTube Channel Managed by Digital Medium Ltd: events.digital-medium.co.uk
---
#cpp #cplusplus #cppcon #cppprogramming #cplusplusprogramming #softwaredevelopment #softwareengineering #coding #code #computerscience #technology #technews #programming #programmer
https://cppcon.org
---
Lightning Talk: Proof Searching in DepC - Raffaele Rossi - CppCon 2025
---
News articles in recent years have highlighted the problem of memory safety in System Programming languages like C and C++, with governments urging companies to move to Rust. Among memory safety errors, buffer overflows and dangling references are the most typical. Dependent Types are known to help with the former, by encoding the length of arrays in their types. Rust’s Borrow Checker helps with the latter, but its approach is unique and does not reconcile with Dependent Types. I propose new inference rules in the theory of Dependent Types that prove, at compile-time, that references are valid and can be safely dereferenced.
---
Work at Hudson River Trading (HRT): tinyurl.com/safxfctf
---
Raffaele Rossi
By day I am a Tech Lead at Maven Securities. In my spare time I work on DepC, like C/C++ but with Dependent Types
---
CppCon is the annual, week-long face-to-face gathering for the entire C++ community. The conference is organized by the C++ community for the community. You will enjoy inspirational talks and a friendly atmosphere designed to help attendees learn from each other, meet interesting people, and generally have a stimulating experience. Taking place this year in Aurora, Colorado, near the Denver airport, and including multiple diverse tracks, the conference will appeal to anyone from C++ novices to experts.
Annual CppCon Conference - cppcon.org
linkedin.com/company/cppcon
https://x.com/cppcon
facebook.com/CppConference
reddit.com/r/cppcon
https://mastodon.social/@CppCon
---
Videos Filmed & Edited by Bash Films: BashFilms.com
YouTube Channel Managed by Digital Medium Ltd: events.digital-medium.co.uk
---
#cpp #cplusplus #cppcon #cppprogramming #cplusplusprogramming #softwaredevelopment #softwareengineering #coding #code #computerscience #technology #technews #programming #programmer
