Predicate Abstraction for Relaxed Memory Models. - Andrei Marian Dan; Yuri Meshman; Martin T. Vechev; Eran Yahav (SAS, 2013)

Synthesis of Memory Fences via Refinement Propagation. - Yuri Meshman; Andrei Marian Dan; Martin T. Vechev; Eran Yahav (SAS, 2014)

Pattern-based Synthesis of Synchronization for the C++ Memory Model. - Yuri Meshman; Noam Rinetzky; Eran Yahav (FMCAD, 2015)

SMT-based verification of parameterized systems. - Arie Gurfinkel; Sharon Shoham; Yuri Meshman (SIGSOFT FSE, 2016)

Effective abstractions for verification under relaxed memory models. - Andrei Marian Dan; Yuri Meshman; Martin T. Vechev; Eran Yahav (Comput. Lang. Syst. Struct., 2017)

Extrapolation and Synthesis for Relaxed Memory Models. - Yuri Meshman (2017)

Paxos Consensus, Deconstructed and Abstracted. - Álvaro García-Pérez; Alexey Gotsman; Yuri Meshman; Ilya Sergey (ESOP, 2018)

Automatic Verification of RMA Programs via Abstraction Extrapolation. - Cedric Baumann; Andrei Marian Dan; Yuri Meshman; Torsten Hoefler; Martin T. Vechev (VMCAI, 2018)

Paxos Consensus, Deconstructed and Abstracted (Extended Version). - Álvaro García-Pérez; Alexey Gotsman; Yuri Meshman; Ilya Sergey (CoRR, 2018)