Search events for 'all'
The rocky road to the MUST preorder for asynchrony
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 …
Who Watches the Watchers? Fuzzing Lean 4's Trusted Computing Base
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 …
Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
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 …
MuLLDB: Multiverse Debugging for Unmanaged Languages
DEBT 2026 When: Mon 29 Jun 2026 14:00 - 14:30 People: Maarten Steevens, Matthias Vanpoecke, Christophe Scholliers
… to systematically explore all possible program executions. However, multiverse …
Hybrid consistency for smart contracts
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 …
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
MPLR 2026 When: Tue 30 Jun 2026 14:00 - 14:30 People: Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia
… pipeline produces code competitive with LLVM-based compilers across all evaluated …
DWasm: Portable Debugging for the Web
MPLR 2026 When: Tue 30 Jun 2026 14:30 - 15:00 People: Aäron Munsters, Nikita Servais, Carlos Rojas Castillo, Angel Luis Scull Pupo, Elisa Gonzalez Boix
… in environments without debugging support cannot be analyzed at all …
Property Grouping and Context-Aware Runtime Enforcement
VORTEX 2026 When: Tue 30 Jun 2026 10:05 - 10:30 People: Saumya Shankar, Srinivas Pinisetty, Thierry Jéron, Srishti Gupta
… runtime enforcement approaches often treat all properties uniformly, leading …
Comparing Solver Representations for Analyzing Cardinality-Based Feature Models
GPCE 2026 When: Mon 29 Jun 2026 11:00 - 11:22 People: Fabian Eger, Lukas Güthing, Kevin Feichtinger, Ina Schaefer
… encoding for CSP solvers enables all common analyses with the best performance …
Can WebAssembly Be the Universal Software Substrate?
ECOOP Academy When: Wed 1 Jul 2026 16:00 - 17:30 People: Ben L. Titzer
… for a future where all software sits on a standardized, well-specified, formally … and portability for all programming languages. …
A Complete Program Logic for Compositional Linearizability
Technical Papers When: Wed 1 Jul 2026 11:00 - 11:22 People: Eashan Hatti, Arthur Oliveira Vale, Zhongye Wang, Yueyang Feng, Zhong Shao
… all three criteria. We showcase the range of expressivity of LHL by verifying … implementation modularly by verifying all of its sub-components against …
Verifying wait-freedom for concurrent higher-order programs
Technical Papers When: Wed 1 Jul 2026 11:45 - 12:07 People: Egor Namakonov, Lars Birkedal, Amin Timany
… are wait-free. Proving wait-freedom requires us to show that all calls made … develop a logical relations model that establishes safety for all clients once and for all.
We demonstrate the effectiveness of our approach by proving wait …
Formal Methods Meet Legal Implementations
ECOOP Academy When: Fri 3 Jul 2026 14:00 - 15:30 People: Raphaël Monat
… Public administrations are steadily digitalizing all their procedures. In particular, computational laws – such as taxes and social benefits – are increasingly implemented within computers, enabling scalable, automated computations …
Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing
ECOOP Academy When: Fri 3 Jul 2026 11:00 - 12:30 People: Stefan Marr
… about performance, all this “magic” makes it hard to understand what measurements … turn the often chaotic scientific process, with all its trials and errors …
Language-Integrated Recursive Queries
Technical Papers When: Thu 2 Jul 2026 11:45 - 12:07 People: Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky
… , and non-termination. Queries that respect all properties are guaranteed to find …
Agent-driven assistance for accurate programming feedback
Doctoral Symposium When: Mon 29 Jun 2026 11:00 - 11:30 People: Guillaume Steveny
… Students all over the world are adopting generative AI, powered by Large Language Models (LLMs), as a tool to assist them in their course-related tasks, particularly in Computer Science Education, due to these systems’ ability …
Remote Concolic Multiverse Debugging
Technical Papers When: Thu 2 Jul 2026 16:22 - 16:45 People: Maarten Steevens, Tom Lauwaerts, Christophe Scholliers
… , allowing developers to systematically explore all possible execution paths …
A Stable Lossless Syntax Tree for Real-time Collaborative Programming
Technical Papers When: Fri 3 Jul 2026 16:46 - 17:10 People: Leon Freudenthaler, Karl M. Göschka
… ), three file sizes (small/medium/large), and five edit scenarios. Across all …