Yuri Meshman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2018
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ESOP | Paxos Consensus, Deconstructed and Abstracted. | lvaro Garca-Prez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
| 2018 | VMCAI | Automatic Verification of RMA Programs via Abstraction Extrapolation. | Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev |
| 2015 | FMCAD | Pattern-based Synthesis of Synchronization for the C++ Memory Model. | Yuri Meshman, Noam Rinetzky, Eran Yahav |
| 2015 | VMCAI | Effective Abstractions for Verification under Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |
| 2014 | SAS | Synthesis of Memory Fences via Refinement Propagation. | Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav |
| 2013 | SAS | Predicate Abstraction for Relaxed Memory Models. | Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav |