Dave Abrahams
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- CppCon2 editions2022–2023
all 4 in the filters
on a stage with
- Dimi Racordon2×
- Sean Parentonce
who talks about the same things
- Lisa Lippincott15 talks
- Sean Parent12 talks
- Juanpe Bolívar3 talks
- David Sankel15 talks
- Ben Deane32 talks
- Adam McCullough6 talks
| title | conference | date |
|---|---|---|
| Method Bundles (New Ideas/Vision paper) | SLE 2024 | 2024-10-20 |
Hyo introduces method bundles that group in-place, copy, and consuming variants under one name and let the compiler pick the right implementation. A linear… | ||
| Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics | C++ on Sea 2024 | 2024-07-02 |
Hylo is a new language (formerly Val) built around strict mutable value semantics with a working compiler and the bones of a standard library; the team… | ||
| Exclusive Interview With Dave Abrahams - Hylo: Generic-programming Language Built on Value Semantics | C++ on Sea 2024 | 2024-07-02 |
A language built around strict mutable value semantics claims to deliver safety, ease of use, and efficiency while reducing tradeoffs; the project already has… | ||
| Borrow checking Hylo | IWACO 2023 | 2023-10-24 |
Hylo aims for C++-level speed with guaranteed freedom from undefined behavior by running borrow checking on Hylo IR using an abstract interpreter that models… | ||
| Better Code: Contracts in C++ | CppCon 2023 | 2023-10-02 |
Concrete C++ mechanics and tradeoffs land quickly: a zip_vector example shows preconditions, postconditions, and class invariants and the cost of checking… | ||
| Value Semantics: Safety, Independence, Projection, & Future of Programming | CppCon 2022 | 2022-09-11 |
Argues that value semantics = regularity + independence, not just a slogan, and shows concretely how reference semantics causes lifetime errors, race… | ||
| nothing matches | ||