UNSOUND 2026 When: Tue 30 Jun 2026 11:45 - 12:30 People: Giovanni Bernardi

… , settled the matter in 2025. In this non-technical talk I’ll outline all that went …

UNSOUND 2026 When: Tue 30 Jun 2026 09:00 - 09:45 People: Kiran Gopinathan

… macro systems, all of which sit outside the boundary of the proofs they certify … application code had zero memory safety bugs across all executions, and every bug …

MPLR 2026 When: Tue 30 Jun 2026 11:00 - 11:30 People: Yusuke Izawa, CF Bolz-Tereick, Nico Rittinghaus, Hidehiko Masuhara

… The RPython framework’s meta-tracing JIT compiler uses a single generic tracer for all interpreters written in the RPython language, but this genericity causes overhead: the tracer dispatches every operation through an opcode lookup …

PLF+PLAID 2026 When: Tue 30 Jun 2026 17:00 - 17:30 People: Jim Bauwens, Stoffel Oostvogels, Thomas Vandermotten, Elisa Gonzalez Boix

… Traditional blockchain systems impose a total order on all transactions via Byzantine fault-tolerant consensus. While this guarantees global consistency, it also introduces substantial latency and limits scalability. In this work, we …

… an environment that enables all to participate without fear of harassment. ECOOP …, no matter their background or beliefs. All communication should be appropriate …

… .

Discount code

All other attendees can benefit from a 15% discount … brings together public transport, shared bikes, scooters, and cars all in one place …

… for presenting and discussing novel results in all aspects of managed programming languages … and discussing novel results in all aspects of managed programming languages and runtime … is 10 point and the format uses two columns for the test.

All submissions …

… and programming paradigms.

This workshop aims to gather researchers from all areas … to advance state-of-the-art to debug modern software. We welcome researchers from all … is a venue for all approaches to debugging. A non-exclusive list of topics …

… . The goal of VORTEX is to bring together researchers contributing on all aspects …

… DEBT 2026 Welcome to the website of the DEBT 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …

… VeriLang 2026 Welcome to the website of the VeriLang 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …

… ICOOOLPS 2026 Welcome to the website of the ICOOOLPS 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …