Engineering Software: integral types - Andrei Zlate-Podani [ CppCon 2018 ]

—
—
In spite of more than 40 years of programming practice, we still make even the most basic errors of API design and coding: integer overflow, error-prone floating point arithmetic, unconstrained/flawed templated interfaces.
A few such examples from Boost, the C++17 standard and a discussion on generic and metaprogramming issues will illustrate why we need to focus more on quality and less on quantity.
When the most basic building blocks offer few or no guarantees on the validity of their results, the task of writing correct programs becomes a lot more difficult. At the same time, the standard library is not providing some essential primitives that would make writing correct code easier and with better performance characteristics.
The presentation will also include a surprise guest from the functional programming languages family.
—
Andrei Zlate-Podani, Avast
Team Lead

Andrei Zlate-Podani has been writing software professionally for 18 years, of which he spent more than a decade writing device drivers.
His software currently runs on more than 160 million computers worldwide and most bugs that ship in the release version will affect a significant number of customers. This gave him the motivation to look more deeply into the subject of writing correct software and not just functioning software. He has researched how could the guidelines used for critical systems (MISRA C & C++) be applied for normal application development.
—
—

*-----*
*-----*