InfoQ - Languages - Presentations

Presentation: Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI

David Chisnall — Wed, 12 Aug 2026 11:00:00 GMT

David Chisnall discusses how the CHERI hardware architecture redefines pointer safety to solve isolation and sharing challenges. He explains how CHERI enables spatial and temporal memory safety for C/C++, scales down to microcontrollers with CHERIoT, and replaces costly OS-level RPC mechanisms with lightweight, auditable compartmentalization - all without requiring massive codebase rewrites.

By David Chisnall

Presentation: Rewriting All of Spotify's Code Base, All the Time

Jo Kelly-Fenton, Aleksandar Mitic — Fri, 07 Aug 2026 11:00:00 GMT

Jo Kelly-Fenton and Aleksandar Mitic explain how Spotify created "Honk," an AI coding agent, to handle complex fleet-wide codebase migrations. They share key architectural insights on decoupling CI verification runtimes from AI agents, dealing with automated pull request bottlenecks, and driving aggressive standardization across thousands of engineering repositories.

By Jo Kelly-Fenton, Aleksandar Mitic

Presentation: Automatically Retrofitting JIT Compilers

Laurence Tratt — Wed, 05 Aug 2026 11:00:00 GMT

Laurence Tratt discusses yk, an open-source meta-tracing JIT compiler framework. He shares how to automatically speed up C-based language interpreters like Lua and MicroPython with minimal, non-invasive code changes. He explains the inner workings of tracing loops, optimizing compiled traces using developer hints, and managing complex deoptimization back to the interpreter.

By Laurence Tratt