| Finding bugs with a constraint solver D Jackson, M Vaziri ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000 | 303 | 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 | 298 | 2006 |
| Some shortcomings of ocl, the object constraint language of uml. M Vaziri, D Jackson TOOLS (34), 555-562, 2000 | 121 | 2000 |
| 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 | 120 | 2008 |
| MemSAT: checking axiomatic specifications of memory models E Torlak, M Vaziri, J Dolby ACM Sigplan Notices 45 (6), 341-350, 2010 | 98 | 2010 |
| Using atomic sets of memory locations J Dolby, F Tip, M Vaziri US Patent 7,716,645, 2010 | 96 | 2010 |
| 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 | 94 | 2007 |
| IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft SJ Garland, NA Lynch, M Vaziri Unpublished manuscript, September, 1997 | 78 | 1997 |
| IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft SJ Garland, NA Lynch, M Vaziri Unpublished manuscript, September, 1997 | 78 | 1997 |
| Stream-enabled spreadsheet as a circuit MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri US Patent 9,569,418, 2017 | 76 | 2017 |
| Model checking software systems: A case study JM Wing, M Vaziri-Farahani ACM SIGSOFT Software Engineering Notes 20 (4), 128-139, 1995 | 74 | 1995 |
| A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 70 | 1997 |
| A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 70 | 1997 |
| A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 70 | 1997 |
| 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 | 68 | 2003 |
| Declarative object identity using relation types M Vaziri, F Tip, S Fink, J Dolby European Conference on Object-Oriented Programming, 54-78, 2007 | 63 | 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 | 60 | 2014 |
| Using atomic sets of memory locations J Dolby, F Tip, M Vaziri US Patent 8,423,966, 2013 | 50 | 2013 |
| IOA user guide and reference manual SJ Garland, NA Lynch, J Tauber, M Vaziri Computer Science and Artificial Intelligence Labatory, 2003 | 49 | 2003 |
| 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 | 48 | 2010 |
