Associating synchronization constraints with data in an object-oriented language M Vaziri, F Tip, J Dolby ACM Sigplan Notices 41 (1), 334-345, 2006 | 282 | 2006 |
Finding bugs with a constraint solver D Jackson, M Vaziri ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000 | 282 | 2000 |
Some shortcomings of ocl, the object constraint language of uml. M Vaziri, D Jackson TOOLS (34), 555-562, 2000 | 111 | 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 | 104 | 2008 |
MemSAT: checking axiomatic specifications of memory models E Torlak, M Vaziri, J Dolby ACM Sigplan Notices 45 (6), 341-350, 2010 | 90 | 2010 |
Using atomic sets of memory locations J Dolby, F Tip, M Vaziri US Patent 7,716,645, 2010 | 90 | 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 | 77 | 2007 |
IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft SJ Garland, NA Lynch, M Vaziri Unpublished manuscript, September, 1997 | 73* | 1997 |
Model checking software systems: A case study JM Wing, M Vaziri-Farahani ACM SIGSOFT Software Engineering Notes 20 (4), 128-139, 1995 | 71 | 1995 |
A work-stealing scheduler for X10's task parallelism with suspension O Tardieu, H Wang, H Lin ACM SIGPLAN Notices 47 (8), 267-276, 2012 | 69 | 2012 |
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 | 66 | 2003 |
A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 65 | 1997 |
A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 65 | 1997 |
A case study in model checking software systems JM Wing, M Vaziri-Farahani Science of Computer Programming 28 (2-3), 273-299, 1997 | 65 | 1997 |
Declarative object identity using relation types M Vaziri, F Tip, S Fink, J Dolby European Conference on Object-Oriented Programming, 54-78, 2007 | 60 | 2007 |
IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft SJ Garland, NA Lynch, M Vaziri Unpublished manuscript, September, 1997 | 57 | 1997 |
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 | 46 | 2014 |
Using atomic sets of memory locations J Dolby, F Tip, M Vaziri US Patent 8,423,966, 2013 | 45 | 2013 |
A type system for data-centric synchronization M Vaziri, F Tip, J Dolby, C Hammer, J Vitek European Conference on Object-Oriented Programming, 304-328, 2010 | 45 | 2010 |
TIOA user guide and reference manual SJ Garland | 45 | 2005 |