Search Results for author: Orestis Melkonian

Found 1 papers, 1 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

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