30:11[CPP'25] Monadic interpreters for concurrent memory models: Executable semantics of a concurrent(…)ACM SIGPLAN64 viewsView & Download
1:07:36An Intuitive and Efficient Semantics for Concurrent Programming LanguagesMicrosoft Research166 viewsView & Download
1:03:49Lecture 19. Concurrency I: Basic Synchronization (MIPT, 2025-2026).Konstantin Vladimirov2.0K viewsView & Download
1:00:46Value Semantics: Safety, Independence, Projection, & Future of Programming - Dave Abrahams CppCon 22CppCon19.6K viewsView & Download
2:12:46Your First Modern Vulkan App in 2 Hours | C++ Graphics Tutorialconstref3.3K viewsView & Download
20:33[OOPSLA24] Synthesizing Formal Semantics from Executable InterpretersACM SIGPLAN37 viewsView & Download
55:28Free Monadic Software Transactional Memory in C++ (English talk)Aleksandr Granin198 viewsView & Download
54:35Monadic Operations in C++23 - Robert Schimkowitsch - Meeting C++ 2025Meeting Cpp848 viewsView & Download
4:41Vardiac Extension: Consistency Checking in CPPS with SMT SolversMalte Grave0 viewsView & Download
7:51ANTLR Compiler Tutorial: Syntax-Directed Translation & Memory Widths Explained (Step-by-Step)Kunusoft212 viewsView & Download