| Finding bugs with a constraint solver D Jackson, M Vaziri ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000 | 315 | 2000 |
| Associating synchronization constraints with data in an object-oriented language M Vaziri, F Tip, J Dolby ACM Sigplan Notices 41 (1), 334-345, 2006 | 309 | 2006 |
| Dynamic detection of atomic-set-serializability violations C Hammer, J Dolby, M Vaziri, F Tip Proceedings of the 30th international conference on Software engineering …, 2008 | 124 | 2008 |
| Some shortcomings of ocl, the object constraint language of uml. M Vaziri, D Jackson TOOLS (34), 555-562, 2000 | 121 | 2000 |
| MemSAT: checking axiomatic specifications of memory models E Torlak, M Vaziri, J Dolby ACM Sigplan Notices 45 (6), 341-350, 2010 | 103 | 2010 |
| Using atomic sets of memory locations J Dolby, F Tip, M Vaziri US Patent 7,716,645, 2010 | 99 | 2010 |
| Stream-enabled spreadsheet as a circuit MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri US Patent 9,569,418, 2017 | 98 | 2017 |
| Finding bugs efficiently with a SAT solver J Dolby, M Vaziri, F Tip Proceedings of the the 6th joint meeting of the European software …, 2007 | 98 | 2007 |
| IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft SJ Garland, NA Lynch, M Vaziri Unpublished manuscript, September, 1997 | 76 | 1997 |
| A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 74 | 1997 |
| Model checking software systems: A case study JM Wing, M Vaziri-Farahani ACM SIGSOFT Software Engineering Notes 20 (4), 128-139, 1995 | 73 | 1995 |
| Checking properties of heap-manipulating procedures with a constraint solver M Vaziri, D Jackson International Conference on Tools and Algorithms for the Construction and …, 2003 | 70 | 2003 |
| Declarative object identity using relation types M Vaziri, F Tip, S Fink, J Dolby European Conference on Object-Oriented Programming, 54-78, 2007 | 65 | 2007 |
| X10 and APGAS at petascale O Tardieu, B Herta, D Cunningham, D Grove, P Kambadur, V Saraswat, ... ACM SIGPLAN Notices 49 (8), 53-66, 2014 | 64 | 2014 |
| A type system for data-centric synchronization M Vaziri, F Tip, J Dolby, C Hammer, J Vitek ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 51 | 2010 |
| A data-centric approach to synchronization J Dolby, C Hammer, D Marino, F Tip, M Vaziri, J Vitek ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (1), 1-48, 2012 | 48 | 2012 |
| Stream processing with a spreadsheet M Vaziri, O Tardieu, R Rabbah, P Suter, M Hirzel ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 47 | 2014 |
| IOA user guide and reference manual SJ Garland, NA Lynch, J Tauber, M Vaziri Computer Science and Artificial Intelligence Labatory, 2003 | 47 | 2003 |
| Finding concurrency-related bugs using random isolation N Kidd, T Reps, J Dolby, M Vaziri International journal on software tools for technology transfer 13 (6), 495-518, 2011 | 46 | 2011 |
| Generating chat bots from web API specifications M Vaziri, L Mandel, A Shinnar, J Siméon, M Hirzel Proceedings of the 2017 ACM SIGPLAN international symposium on new ideas …, 2017 | 43 | 2017 |