×
Author ID: vechev.martin-t Recent zbMATH articles by "Vechev, Martin T."
Published as: Vechev, Martin; Vechev, Martin T.
Documents Indexed: 23 Publications since 2009
Co-Authors: 41 Co-Authors with 23 Joint Publications
619 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 98 times in 82 Documents Cited by Year
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
13
2011
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
12
2010
Fast polyhedra abstract domain. Zbl 1380.68131
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
11
2017
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
10
2010
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
7
2017
Inferring synchronization under limited observability. Zbl 1234.68082
Vechev, Martin; Yahav, Eran; Yorsh, Greta
7
2009
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
Fine-grained semantics for probabilistic programs. Zbl 1418.68051
Bichsel, Benjamin; Gehr, Timon; Vechev, Martin
4
2018
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
4
2015
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
4
2016
Fast numerical program analysis with reinforcement learning. Zbl 1511.68090
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
3
2018
Network-wide configuration synthesis. Zbl 1494.68018
El-Hassany, Ahmed; Tsankov, Petar; Vanbever, Laurent; Vechev, Martin
3
2017
Scalable polyhedral verification of recurrent neural networks. Zbl 1493.68220
Ryou, Wonryong; Chen, Jiayu; Balunovic, Mislav; Singh, Gagandeep; Dan, Andrei; Vechev, Martin
3
2021
Predicting program properties from “big code”. Zbl 1346.68063
Raychev, Veselin; Vechev, Martin; Krause, Andreas
3
2015
Automatic verification of determinism for structured parallel programs. Zbl 1306.68037
Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek
2
2010
Learning commutativity specifications. Zbl 1381.68105
Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin
2
2015
Fast and optimal sequence-to-graph alignment guided by seeds. Zbl 1496.92069
Ivanov, Pesho; Bichsel, Benjamin; Vechev, Martin
1
2022
Shared certificates for neural network verification. Zbl 1514.68131
Fischer, Marc; Sprecher, Christian; Dimitrov, Dimitar Iliev; Singh, Gagandeep; Vechev, Martin
1
2022
AStarix: fast and optimal sequence-to-graph alignment. Zbl 1500.92076
Ivanov, Pesho; Bichsel, Benjamin; Mustafa, Harun; Kahles, André; Rätsch, Gunnar; Vechev, Martin
1
2020
Learning a static analyzer from data. Zbl 1494.68050
Bielik, Pavol; Raychev, Veselin; Vechev, Martin
1
2017
Fast and optimal sequence-to-graph alignment guided by seeds. Zbl 1496.92069
Ivanov, Pesho; Bichsel, Benjamin; Vechev, Martin
1
2022
Shared certificates for neural network verification. Zbl 1514.68131
Fischer, Marc; Sprecher, Christian; Dimitrov, Dimitar Iliev; Singh, Gagandeep; Vechev, Martin
1
2022
Scalable polyhedral verification of recurrent neural networks. Zbl 1493.68220
Ryou, Wonryong; Chen, Jiayu; Balunovic, Mislav; Singh, Gagandeep; Dan, Andrei; Vechev, Martin
3
2021
AStarix: fast and optimal sequence-to-graph alignment. Zbl 1500.92076
Ivanov, Pesho; Bichsel, Benjamin; Mustafa, Harun; Kahles, André; Rätsch, Gunnar; Vechev, Martin
1
2020
Fine-grained semantics for probabilistic programs. Zbl 1418.68051
Bichsel, Benjamin; Gehr, Timon; Vechev, Martin
4
2018
Fast numerical program analysis with reinforcement learning. Zbl 1511.68090
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
3
2018
Fast polyhedra abstract domain. Zbl 1380.68131
Singh, Gagandeep; Püschel, Markus; Vechev, Martin
11
2017
Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039
Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin
7
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
Network-wide configuration synthesis. Zbl 1494.68018
El-Hassany, Ahmed; Tsankov, Petar; Vanbever, Laurent; Vechev, Martin
3
2017
Learning a static analyzer from data. Zbl 1494.68050
Bielik, Pavol; Raychev, Veselin; Vechev, Martin
1
2017
Learning programs from noisy data. Zbl 1347.68092
Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas
4
2016
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
4
2015
Predicting program properties from “big code”. Zbl 1346.68063
Raychev, Veselin; Vechev, Martin; Krause, Andreas
3
2015
Learning commutativity specifications. Zbl 1381.68105
Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin
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
13
2011
Abstraction-guided synthesis of synchronization. Zbl 1312.68043
Vechev, Martin; Yahav, Eran; Yorsh, Greta
12
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
10
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
7
2009
all top 5

Cited by 201 Authors

6 Bouajjani, Ahmed
6 Enea, Constantin
5 Vechev, Martin T.
5 Zaffanella, Enea
4 Beillahi, Sidi Mohamed
4 Henzinger, Thomas A.
4 Wehrheim, Heike
3 Dongol, Brijesh
3 Hendler, Danny
3 Yang, Hongseok
2 Alistarh, Dan
2 Attiya, Hagit
2 Bansal, Kshitij
2 Becchi, Anna
2 Castañeda, Armando
2 Chatterjee, Krishnendu
2 Clarke, Edmund Melson jun.
2 Dalvandi, Sadegh
2 Dodds, Mike
2 Doherty, Simon
2 Gotsman, Alexey
2 Gulwani, Sumit
2 Hurault, Aurélie
2 Jobstmann, Barbara
2 Kirsch, Christoph M.
2 Koskinen, Eric
2 Murawski, Andrzej S.
2 Quéinnec, Philippe
2 Radhakrishna, Arjun
2 Rinetzky, Noam
2 Samanta, Roopsha
2 Schmid, Stefan
2 Srba, Jiří
2 Talmage, Edward
2 Tarrach, Thorsten
2 Tzevelekos, Nikos
2 Yahav, Eran
2 Yorsh, Greta
1 Abdulla, Parosh Aziz
1 Aguado, Joaquin
1 Alglave, Jade
1 Arceri, Vincenzo
1 Aspnes, James
1 Atig, Mohamed Faouzi
1 Balunovic, Mislav
1 Barthe, Gilles
1 Ben-Baruch, Ohad
1 Bichsel, Benjamin
1 Bielik, Pavol
1 Bloem, Roderick
1 Černý, Pavol
1 Cerone, Andrea
1 Chandra, Ghanshyam
1 Chaudhuri, Swarat
1 Chen, Guangke
1 Chen, Jiayu
1 Chen, Taolue
1 Choi, Sungwoo
1 Christakis, Maria
1 Clochard, Martin
1 Cousot, Patrick
1 da Rocha Pinto, Pedro
1 Dan, Andrei Marian
1 Darulova, Eva
1 Deng, Robert Huijie
1 Derrick, John
1 Doyen, Laurent
1 Drachsler-Cohen, Dana
1 Emmi, Michael
1 Erhard, Julian
1 Feldman, Yotam M. Y.
1 Finkbeiner, Bernd
1 Foster, Jeffrey S.
1 Frehse, Goran
1 Fuhrmann, Insa
1 Gardner, Philippa Anne
1 Gelashvili, Rati
1 Giacobbe, Mirco
1 Giannarakis, Nick
1 Gieseking, Manuel
1 Gligorić, Miloš V.
1 Grigore, Radu
1 Gupta, Ashutosh
1 Haas, Andreas
1 Hamza, Jad
1 Hecking-Harbusch, Jesko
1 Heo, Kihong
1 Hierons, Robert Mark
1 Hoffmann, Jan-Philipp
1 Hoxha, Bardh
1 Huang, Chengchao
1 Huang, Kangjing
1 Hussain, Akbar
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
1 Ivanov, Pesho
1 Jacomme, Charlie
1 Jagannathan, Suresh
1 Jain, Chirag
1 Jeangoudoux, Clothilde
...and 101 more Authors

Citations by Year