976 papers · page 20 of 49
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Multiprocessors implement weak memory models, but program verifiers often assume Sequential Consistency (SC), and thus may miss bugs due to weak memory. We propose a sound transformation of the program to verify, enabling SC tools to perform verification w.r.t. weak memory. We pr…
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Abstract elided by the publisher.
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Abstract elided by the publisher.
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computations correspond to computations under the Sequential Consistency (SC) semantics.
We provide a comp…
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
Abstract elided by the publisher.
Mihai Budiu, Joel Galenson, Gordon D. Plotkin
Abstract elided by the publisher.
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Abstract elided by the publisher.
Stephen Chang
Abstract elided by the publisher.
Arthur Charguéraud
Abstract elided by the publisher.
Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
Abstract elided by the publisher.
Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
Abstract elided by the publisher.
Jean-Christophe Filliâtre, Andrei Paskevich
Abstract elided by the publisher.
Alexey Gotsman, Noam Rinetzky, Hongseok Yang
Abstract elided by the publisher.
Martin Hofmann, Dulma Rodriguez
Abstract elided by the publisher.
Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
Abstract elided by the publisher.
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
Abstract elided by the publisher.
Ioannis T. Kassios, Eleftherios Kritikos
Abstract elided by the publisher.
Joost-Pieter Katoen, Doron A. Peled
Abstract elided by the publisher.
Naoki Kobayashi, Atsushi Igarashi
Abstract elided by the publisher.
Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
Abstract elided by the publisher.