Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
The Expected Outcome: Error Handling with std::expected in C++
Explore unified error handling with std::expected in C++23, advanced usage patterns, and integration with C++20 coroutines for a more familiar syntax without exception baggage.
Type-Safe Web Development with C++ Using WebAssembly and Typescripten
Explore type-safe C++ web development using WebAssembly, emscripten, and typescripten. Learn to create wrappers for JavaScript APIs and overcome challenges in translating prototype-based semantics to C++.
Fun with Flags - C++ Type-safe Bitwise Operations
Explore type-safe bitwise operations in C++ using Boost.Flags library. Learn to enhance flag-like integer types with zero-overhead solutions for improved type safety and functionality.
Generics in Java - Generic Methods and Classes
Explore Java generics, focusing on generic methods and classes. Learn advantages and practical applications through examples.
Rust APIs for Performance and Type Safety - A Case Study
Explore effective Rust patterns for designing low-overhead abstractions, focusing on the Financial Information eXchange protocol and building performant crates with large API surfaces.
REST in Peace: Using Generics to Remove REST Boilerplate
Explore how generics simplify REST API development in Go, reducing boilerplate code for CRUD operations while maintaining type safety. Learn to create efficient, type-safe endpoints with minimal code.
Cross-Platform App Development in Rust - Findings from an Experimental GUI Framework
Explore Rust for cross-platform app development, focusing on a zero-weight framework, timeless UI design, functional GUI programming, and safe high-performance extensibility.
Type-Safe GraphQL with TypeScript
Explore type-safe GraphQL with TypeScript, from schema definition to backend implementation and frontend integration, for a robust end-to-end development model.
Delivering Safe C++ - CppCon 2023
Explore type safety in C++ with Bjarne Stroustrup. Learn strategies for writing verified, resource-safe code without compromising performance or expressiveness.
Reintroduction to Generic Programming for C++ Engineers - C++Now 2024
Explore generic programming in C++20 with concepts, simplifying complex ideas for all engineers to create robust, maintainable software. Fresh perspective on fundamental principles.
Modernizing Finite State Machines in C++ Using std::variant
Discover how to revolutionize Finite State Machine implementation using std::variant in modern C++, achieving better type safety, improved performance, and cleaner code without heap allocation.
C++ in Constrained Environments
Explore modern C++ techniques for constrained environments, focusing on simplicity, performance, and safety. Learn top-down approaches from the language's creator.
Can C++ be 10x Simpler and Safer? - Exploring C++ Evolution
Explore potential improvements to simplify, safeguard, and enhance C++. Examine current limitations and innovative ideas for significant advancements in the language's evolution.
Black Hat Asia 2025
Black Hat Asia 2025