Search Results for author: Viktor Vafeiadis

Found 3 papers, 2 papers with code

Reconciling Event Structures with Modern Multiprocessors

3 code implementations15 Nov 2019 Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Our proof is the first that establishes correctness of compilation of an event-structure-based model that forbids "thin-air" behaviors, as well as the first mechanized compilation proof of a weak memory model supporting sequentially consistent accesses to such a range of hardware platforms.

Programming Languages

Bridging the Gap between Programming Languages and Hardware Weak Memory Models

3 code implementations20 Jul 2018 Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

We develop a new intermediate weak memory model, IMM, as a way of modularizing the proofs of correctness of compilation from concurrent programming languages with weak memory consistency semantics to mainstream multi-core architectures, such as POWER and ARM.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.