We addresses the problem of automatic verification and fence inference in concurrent
programs running under relaxed memory models. Modern architectures implement relaxed …

We present a novel framework for automatic inference of efficient synchronization in
concurrent programs, a task known to be difficult and error-prone when done manually. Our …

Software is becoming increasingly complex. For system-level programmers, the transition of
hardware providers to multi-core architectures exposes new sources of complexity …

Abstract Model repair is a formal method that aims at fixing bugs in models automatically.
Typically, these models are finite state automata that can be compactly represented using …