Follow
Mandana Vaziri
Mandana Vaziri
IBM Research
Verified email at us.ibm.com
Title
Cited by
Cited by
Year
Associating synchronization constraints with data in an object-oriented language
M Vaziri, F Tip, J Dolby
ACM Sigplan Notices 41 (1), 334-345, 2006
3072006
Finding bugs with a constraint solver
D Jackson, M Vaziri
ACM SIGSOFT Software Engineering Notes 25 (5), 14-25, 2000
3072000
Some shortcomings of ocl, the object constraint language of uml.
M Vaziri, D Jackson
TOOLS (34), 555-562, 2000
1242000
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
1202008
MemSAT: checking axiomatic specifications of memory models
E Torlak, M Vaziri, J Dolby
ACM Sigplan Notices 45 (6), 341-350, 2010
1022010
Using atomic sets of memory locations
J Dolby, F Tip, M Vaziri
US Patent 7,716,645, 2010
982010
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
982007
Stream-enabled spreadsheet as a circuit
MJ Hirzel, R Rabbah, P Suter, OLJ Tardieu, M Vaziri
US Patent 9,569,418, 2017
862017
IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft
SJ Garland, NA Lynch, M Vaziri
Unpublished manuscript, September, 1997
781997
IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft
SJ Garland, NA Lynch, M Vaziri
Unpublished manuscript, September, 1997
781997
Model checking software systems: A case study
JM Wing, M Vaziri-Farahani
ACM SIGSOFT Software Engineering Notes 20 (4), 128-139, 1995
731995
A case study in model checking software systems
JM Wing, M Vaziri-Farahani
Science of Computer Programming 28 (2-3), 273-299, 1997
721997
A case study in model checking software systems
JM Wing, M Vaziri-Farahani
Science of Computer Programming 28 (2-3), 273-299, 1997
721997
A case study in model checking software systems
JM Wing, M Vaziri-Farahani
Science of Computer Programming 28 (2-3), 273-299, 1997
721997
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
702003
Declarative object identity using relation types
M Vaziri, F Tip, S Fink, J Dolby
European Conference on Object-Oriented Programming, 54-78, 2007
652007
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
612014
Using atomic sets of memory locations
J Dolby, F Tip, M Vaziri
US Patent 8,423,966, 2013
522013
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
492010
IOA user guide and reference manual
SJ Garland, NA Lynch, J Tauber, M Vaziri
Computer Science and Artificial Intelligence Labatory, 2003
472003
The system can't perform the operation now. Try again later.
Articles 1–20