Search events for 'all'
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 …