DoTheThing(in BlubT b); Result: Windows – everything passed. Linux – everything failed. Why?Making Libraries Consumable for Non-C++ Developers Aaron R Robinson arobins@microsoft.com https://github

actively looking into ways to make analysis more precise • There are a large set of checks in MSVC • Making intent explicit can help analysis, improve readabilityEnjoy the rest of the conference! Join #visual_studio Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C+ +: Making it Real – Sunny Chatterjee • In-memory and Persistent Representations of C++ – Gabriel Dos Reis

static analysis Gabor Horvath – _3 Tue, Oct 26 – 3:15pm Static Analysis and Program Safety in C++: Making it Real Sunny Chatterjee – _2 Address Sanitizer /fsanitize=address support in MSVC now generally-available Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C++: Making it Real – Sunny Chatterjee • In-memory and Persistent Representations of C++ – Gabriel Dos Reis

open-source JavaScript framework, designed for building apps on multiple platforms. - Code reusability - Hot reload - Javascript ecosystem icon Flutter, is an open source framework by Google for building

Overview I. Background  https://renode.io/ Antmicro's virtual development framework for complex embedded systems.  https://github.com/lowrisc I. Background  Key features: ust-MachineLearning Ray.Rust  A reimplementation of project Ray(the distributed training framework that behinds many LLMs) by leveraging Python + Rust to instead of Python + C++ within

available to the GPU. • May improve performance by: • Moving work from runtime to compile time. • Making dimensions of vectors/matrices available at compile time. 49 |Concluding RemarksAustralia’s National

Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C+ +: Making it Real – Sunny Chatterjee • In-memory and Persistent Representations of C++ – Gabriel Dos Reis

wheel Not modify app under test Cross-platform tests Scale Appium Open source mobile testing framework Not modify app under test Use language of choice Use known APIs (webdriver) Functional Tests

Systems, ETH Zürich RustBelt Project Background Iris: A Higher-Order Concurrent Separation Logic Framework RustBelt: Securing the Foundations of the Rust Programming Language Coq Proof Assistant: A

node has a blockchain node in it What An Open Data App Feels Like? “EightFish is a development framework (maybe the first one) for the Open Data Application (ODA), implementing the Open Data Application