Lisa Lippincott
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
all 5 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Titus Winters18 talks
- Conor Hoekstra20 talks
- David Sankel15 talks
- David Olsen10 talks
- Kevlin Henney95 talks
- Marshall Clow21 talks
| title | conference | date |
|---|---|---|
| Perspectives on Contracts for C++ | CppCon 2024 | 2024-09-15 |
A concrete proposal (P2900) aims to add contracts to C++26 with fuller support in C++29, specifying preconditions, postconditions, and contract assert and a… | ||
| The C++ Vector Challenge | C++Now 2024 | 2024-04-29 |
Proposes a concrete C++ encoding for formal interfaces that embeds pre/postconditions in ordinary code and builds object interface blocks compiled separately… | ||
| Why Loops End in Cpp | CppCon 2023 | 2023-10-02 |
A concrete scheme shows how to encode why a loop ends directly in lightly extended C++ by adding function interfaces with pre/postconditions that record… | ||
| Midnote: Why Cpp Loops End | C++ on Sea 2023 | 2023-06-28 |
Introduces a concrete scheme that embeds termination reasons in lightly extended C++ interfaces so an algorithm can check them, focusing on stability… | ||
| Principia Mathematica - The Foundations of Arithmetic in C++ | CppCon 2022 | 2022-09-11 |
This work gives concrete, machine-checkable interfaces and proofs for C++ integer arithmetic: extended function syntax with a prologue/epilogue, formal… | ||
| Value in a Procedural World | CppCon 2021 | 2021-10-24 |
Argues that values are observable patterns of program execution, not platonic things, and supports that with three concrete rules — stability… | ||
| Plenary: Neighborhoods Banding Together: Reasoning Globally about Programs | CppCon 2020 | 2020-09-14 |
Local correctness proofs get collated into link-time tables and checked with an n log n graph algorithm: sort/unique build a forest, categorize edges as… | ||
| PREVIEW VIDEO - November | ACCU Autumn 2019 Belfast | 2019-11-11 |
Two-day ACCU Autumn conference runs 2019-11-11 to 2019-11-12 at the Hilton in Belfast and deliberately abuts the WG21 C++ meeting in the UK so attendees can… | ||
| The Truth of a Procedure | CppCon 2019 | 2019-09-15 |
Programs model procedures as formal sentences and truth is decided by a two-player game where the implementation (center court) and interfaces… | ||
| Committee Fireside Chat | CppCon 2019 | 2019-09-15 |
Panel lays out concrete progress and tradeoffs: modules in C++20 already remove many include-guard problems; reflection and generation are the linchpins that… | ||
| The Truth of a Procedure | Meeting C++ 2018 | 2018-11-15 |
A procedure gets judged by concrete rules: an interface prologue and epilogue, claim and usable assertions, and a game where the outside world names inputs and… | ||
| KEYNOTE: The Shape of a Program | ACCU 2018 | 2018-04-11 |
Programs model as a bitopological manifold with two topologies — one for entrances and one for exits — so time becomes directional adjacency instead of… | ||
| What is the basic interface? (part 2 of 2) | CppCon 2016 | 2016-09-18 |
Defines an interface model that makes aliasing and address dependence explicit: parameters claim irresponsibly aliased or not, callers can assert aliased X&Y… | ||
| What is the basic interface? (part 1 of 2) | CppCon 2016 | 2016-09-18 |
Defines the "basic interface" as the implicit expectations around a function: prologue/epilogue split via an implementation statement, no undefined behavior at… | ||
| How to call C libraries from C++ | CppCon 2014 | 2014-09-07 |
Shows a concrete method and a tiny support library for converting POSIX APIs into idiomatic C++: a short set of design rules (type-for-type… | ||
| nothing matches | ||