Edit Profile (opens in new tab) Vechev, Martin T. Compute Distance To: Compute Author ID: vechev.martin-t Published as: Vechev, Martin; Vechev, Martin T. Documents Indexed: 21 Publications since 2009 Co-Authors: 37 Co-Authors with 21 Joint Publications 522 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Yahav, Eran 5 Dan, Andrei Marian 3 Bichsel, Benjamin 3 Meshman, Yuri 3 Raychev, Veselin 3 Yorsh, Greta 2 Bielik, Pavol 2 Gehr, Timon 2 Ivanov, Pesho 2 Krause, Andreas 2 Raman, Raghavan 2 Sarkar, Vivek 2 Singh, Gagandeep 1 Attiya, Hagit 1 Balunovic, Mislav 1 Baumann, Cedric 1 Brutschy, Lucas 1 Chandra, Satish 1 Chen, Jiayu 1 El-Hassany, Ahmed 1 Guerraoui, Rachid 1 Hendler, Danny 1 Hoefler, Torsten 1 Jeannin, Jean-Baptiste 1 Kahles, André 1 Kuznetsov, Petr 1 Michael, Maged M. 1 Mustafa, Harun 1 O’Hearn, Peter W. 1 Püschel, Markus 1 Rätsch, Gunnar 1 Rinetzky, Noam 1 Ryou, Wonryong 1 Sridharan, Manu 1 Tsankov, Petar 1 Vanbever, Laurent 1 Zhao, Jisheng Serials 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures Fields 19 Computer science (68-XX) 2 Combinatorics (05-XX) 2 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 46 times in 39 Documents Cited by ▼ Year ▼ Verifying linearizability with hindsight. Zbl 1315.68068O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta 7 2010 Abstraction-guided synthesis of synchronization. Zbl 1312.68043Vechev, Martin; Yahav, Eran; Yorsh, Greta 7 2010 Fast polyhedra abstract domain. Zbl 1380.68131Singh, Gagandeep; Püschel, Markus; Vechev, Martin 6 2017 Effective abstractions for verification under relaxed memory models. Zbl 1379.68237Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 5 2017 Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin 5 2017 Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated. Zbl 1284.68423Attiya, Hagit; Guerraoui, Rachid; Hendler, Danny; Kuznetsov, Petr; Michael, Maged M.; Vechev, Martin 4 2011 Effective abstractions for verification under relaxed memory models. Zbl 1432.68259Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 2 2015 Fine-grained semantics for probabilistic programs. Zbl 1418.68051Bichsel, Benjamin; Gehr, Timon; Vechev, Martin 2 2018 Learning commutativity specifications. Zbl 1381.68105Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin 2 2015 Automatic verification of determinism for structured parallel programs. Zbl 1306.68037Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek 2 2010 Inferring synchronization under limited observability. Zbl 1234.68082Vechev, Martin; Yahav, Eran; Yorsh, Greta 2 2009 Learning programs from noisy data. Zbl 1347.68092Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas 2 2016 Fine-grained semantics for probabilistic programs. Zbl 1418.68051Bichsel, Benjamin; Gehr, Timon; Vechev, Martin 2 2018 Fast polyhedra abstract domain. Zbl 1380.68131Singh, Gagandeep; Püschel, Markus; Vechev, Martin 6 2017 Effective abstractions for verification under relaxed memory models. Zbl 1379.68237Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 5 2017 Serializability for eventual consistency: criterion, analysis, and applications. Zbl 1380.68039Brutschy, Lucas; Dimitrov, Dimitar; Müller, Peter; Vechev, Martin 5 2017 Learning programs from noisy data. Zbl 1347.68092Raychev, Veselin; Bielik, Pavol; Vechev, Martin; Krause, Andreas 2 2016 Effective abstractions for verification under relaxed memory models. Zbl 1432.68259Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran 2 2015 Learning commutativity specifications. Zbl 1381.68105Gehr, Timon; Dimitrov, Dimitar; Vechev, Martin 2 2015 Laws of order, expensive synchronization in concurrent algorithms cannot be eliminated. Zbl 1284.68423Attiya, Hagit; Guerraoui, Rachid; Hendler, Danny; Kuznetsov, Petr; Michael, Maged M.; Vechev, Martin 4 2011 Verifying linearizability with hindsight. Zbl 1315.68068O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta 7 2010 Abstraction-guided synthesis of synchronization. Zbl 1312.68043Vechev, Martin; Yahav, Eran; Yorsh, Greta 7 2010 Automatic verification of determinism for structured parallel programs. Zbl 1306.68037Vechev, Martin; Yahav, Eran; Raman, Raghavan; Sarkar, Vivek 2 2010 Inferring synchronization under limited observability. Zbl 1234.68082Vechev, Martin; Yahav, Eran; Yorsh, Greta 2 2009 all cited Publications top 5 cited Publications all top 5 Cited by 101 Authors 4 Bouajjani, Ahmed 4 Enea, Constantin 3 Beillahi, Sidi Mohamed 3 Wehrheim, Heike 2 Bansal, Kshitij 2 Clarke, Edmund Melson jun. 2 Gotsman, Alexey 2 Henzinger, Thomas A. 2 Jobstmann, Barbara 2 Koskinen, Eric 2 Murawski, Andrzej S. 2 Talmage, Edward 2 Tzevelekos, Nikos 2 Vechev, Martin T. 2 Yang, Hongseok 2 Zaffanella, Enea 1 Abdulla, Parosh Aziz 1 Aguado, Joaquin 1 Alistarh, Dan 1 Aspnes, James 1 Atig, Mohamed Faouzi 1 Balunovic, Mislav 1 Becchi, Anna 1 Bloem, Roderick 1 Černý, Pavol 1 Cerone, Andrea 1 Chatterjee, Krishnendu 1 Chen, Jiayu 1 Christakis, Maria 1 da Rocha Pinto, Pedro 1 Dalvandi, Sadegh 1 Dan, Andrei Marian 1 Darulova, Eva 1 Deng, Robert Huijie 1 Derrick, John 1 Dodds, Mike 1 Doherty, Simon 1 Dongol, Brijesh 1 Feldman, Yotam M. Y. 1 Fuhrmann, Insa 1 Gardner, Philippa Anne 1 Heo, Kihong 1 Hoffmann, Jan-Philipp 1 Huang, Chengchao 1 Hussain, Akbar 1 Jagannathan, Suresh 1 Jeangoudoux, Clothilde 1 Khyzha, Artem 1 Kim, Sung Kook 1 Lai, Junzuo 1 Li, Renjue 1 Lohar, Debasmita 1 Ma, Changshe 1 Mak, Carol 1 Mendler, Michael 1 Morrison, Adam 1 Nagar, Kartik 1 Ngo, Tuan Phong 1 Ntzik, Gian 1 Oh, Hakjoo 1 O’Hearn, Peter W. 1 Paquet, Hugo 1 Parkinson, Matthew J. 1 Paulino, Hervé 1 Petersen, Rasmus Lerchedahl 1 Pulina, Luca 1 Radhakrishna, Arjun 1 Reps, Thomas W. 1 Rinetzky, Noam 1 Rito, Guilherme 1 Ryou, Wonryong 1 Ryzhyk, Leonid 1 Sakurai, Kouichi 1 Samanta, Roopsha 1 Schellhorn, Gerhard 1 Shoham, Sharon 1 Singh, Gagandeep 1 Sobel, Joshua 1 Tacchella, Armando 1 Tarrach, Thorsten 1 Thakur, Aditya V. 1 Travkin, Oleg 1 Tripp, Omer 1 Veith, Helmut 1 Venet, Arnaud J. 1 Villard, Jules 1 von Essen, Christian 1 von Hanxleden, Reinhard 1 Wagner, Dominik 1 Wang, Jingyi 1 Wang, Xudong 1 Welch, Jennifer Lundelius 1 Weng, Jian 1 Xiong, Shale 1 Xu, Xuezheng 1 Xue, Bai 1 Xue, Jingling 1 Yahav, Eran 1 Yang, Pengfei 1 Yorsh, Greta ...and 1 more Authors all top 5 Cited in 10 Serials 3 Formal Methods in System Design 2 Journal of Automated Reasoning 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Scheduling 1 ACM Transactions on Computational Logic 1 Algorithms all top 5 Cited in 8 Fields 38 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year