×

zbMATH — the first resource for mathematics

Vechev, Martin T.

Compute Distance To:
Author ID: vechev.martin-t Recent zbMATH articles by "Vechev, Martin T."
Published as: Vechev, Martin; Vechev, Martin T.
Documents Indexed: 15 Publications since 2009

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 27 times in 22 Documents Cited by Year
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
6
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
2
2017
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
2
2016
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
2
2015
Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated. Zbl 1284.68423
Attiya, Hagit; Guerraoui, Rachid; Hendler, Danny; Kuznetsov, Petr; Michael, Maged M.; Vechev, Martin
2
2011
Automatic verification of determinism for structured parallel programs. Zbl 1306.68037
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek
2
2010
Inferring synchronization under limited observability. Zbl 1234.68082
Vechev, Martin; Yahav, Eran; Yorsh, Greta
2
2009
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
Fast polyhedra abstract domain. Zbl 1380.68131
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
1
2017
Learning commutativity specifications. Zbl 1381.68105
Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin
1
2015
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
2
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
Fast polyhedra abstract domain. Zbl 1380.68131
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
1
2017
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
2
2016
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
2
2015
Learning commutativity specifications. Zbl 1381.68105
Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin
1
2015
Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated. Zbl 1284.68423
Attiya, Hagit; Guerraoui, Rachid; Hendler, Danny; Kuznetsov, Petr; Michael, Maged M.; Vechev, Martin
2
2011
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
6
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Automatic verification of determinism for structured parallel programs. Zbl 1306.68037
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek
2
2010
Inferring synchronization under limited observability. Zbl 1234.68082
Vechev, Martin; Yahav, Eran; Yorsh, Greta
2
2009

Citations by Year