Yuri Meshman

According to our database, Yuri Meshman authored at least 9 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Paxos Consensus, Deconstructed and Abstracted (Extended Version).

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

CoRR, 2018

Automatic Verification of RMA Programs via Abstraction Extrapolation.

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Paxos Consensus, Deconstructed and Abstracted.

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2018

2017

Extrapolation and Synthesis for Relaxed Memory Models.

Yuri Meshman

PhD thesis, 2017

Effective abstractions for verification under relaxed memory models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Comput. Lang. Syst. Struct., 2017

2016

SMT-based verification of parameterized systems.

Arie Gurfinkel, Sharon Shoham, Yuri Meshman

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Pattern-based Synthesis of Synchronization for the C++ Memory Model.

Yuri Meshman, Noam Rinetzky, Eran Yahav

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Synthesis of Memory Fences via Refinement Propagation.

Yuri Meshman, Andrei Marian Dan, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

Predicate Abstraction for Relaxed Memory Models.

Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav

Proceedings of the Static Analysis - 20th International Symposium, 2013