Concepedia

Yuri Meshman

YM

Statistics

Publications

3

Citations

65

H-Index

3

Active since

2015

Affiliations

Technion – Israel Institute of Technology(Current)

Yuri Meshman is an author at Technion – Israel Institute of Technology specializing in program analysis, formal methods, and verification.

Top concepts

Publications per year

2015–2016

3

Publications

3

SMT-based verification of parameterized systems

Arie Gurfinkel, Sharon Shoham, Yuri Meshman · 2016 · 43 citations · Full text

, , +17

Effective abstractions for verification under relaxed memory models

Andrei Dan, Yuri Meshman, Martin Vechev et al. · Computer Languages Systems & Structures · 2016 · 12 citations

, , +9

Pattern-based synthesis of synchronization for the C++ memory model

Yuri Meshman, Noam Rinetzky, Eran Yahav · 2015 · 10 citations

, , +18

1–3 of 3