Yuri Meshman

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 5

Top Topics

Provably Correct

Refinement Process

Commit Protocols

Top Venues

Comput. Lang. Syst. Struct.

Publications

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev
Automatic Verification of RMA Programs via Abstraction Extrapolation. VMCAI (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted. ESOP (2018)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective abstractions for verification under relaxed memory models. Comput. Lang. Syst. Struct. 47 (2017)
Arie Gurfinkel, Sharon Shoham, Yuri Meshman
SMT-based verification of parameterized systems. SIGSOFT FSE (2016)
Yuri Meshman, Noam Rinetzky, Eran Yahav
Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD (2015)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Effective Abstractions for Verification under Relaxed Memory Models. VMCAI (2015)
Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav
Synthesis of Memory Fences via Refinement Propagation. SAS (2014)
Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav
Predicate Abstraction for Relaxed Memory Models. SAS (2013)