Mandana Vaziri
contact information
Research Staff MemberThomas J. Watson Research Center, Yorktown Heights, NY USA +1
914
945
4595



links
2016
X10 and APGAS at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1--25:32, 2016
Abstract
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1--25:32, 2016
Abstract
2014
Stream Processing with a Spreadsheet
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
European Conference on Object-Oriented Programming (ECOOP), pp. 360--384, Springer, 2014
Abstract Winner of a Distinguished Paper Award.
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
European Conference on Object-Oriented Programming (ECOOP), pp. 360--384, Springer, 2014
Abstract Winner of a Distinguished Paper Award.
2013
Detecting deadlock in programs with data-centric synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Software Engineering (ICSE), 2013 35th International Conference on, pp. 322--331
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
Software Engineering (ICSE), 2013 35th International Conference on, pp. 322--331
X10 at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
Technical Posters of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 267--276, 2013
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
Technical Posters of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 267--276, 2013
2012
A data-centric approach to synchronization
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 34(1), 4, ACM, 2012
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 34(1), 4, ACM, 2012
X10 for productivity and performance at scale
Olivier Tardieu, David Grove, Bard Bloom, David Cunningham, Benjamin Herta, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
A Submission to the 2012 HPC Class II Challenge
received the best performance award
Olivier Tardieu, David Grove, Bard Bloom, David Cunningham, Benjamin Herta, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
A Submission to the 2012 HPC Class II Challenge
received the best performance award
2011
Finding concurrency-related bugs using random isolation
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
International journal on software tools for technology transfer 13(6), 495--518, Springer, 2011
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
International journal on software tools for technology transfer 13(6), 495--518, Springer, 2011
Open language implementation
Mandana Vaziri, Robert Fuhrer, Evelyn Duesterwald
Proceedings of the 4th International Workshop on Multicore Software Engineering, pp. 41--42, 2011
Mandana Vaziri, Robert Fuhrer, Evelyn Duesterwald
Proceedings of the 4th International Workshop on Multicore Software Engineering, pp. 41--42, 2011
2010
MemSAT: checking axiomatic specifications of memory models
Emina Torlak, Mandana Vaziri, Julian Dolby
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation (PLDI'10), pp. 341--350, ACM
Emina Torlak, Mandana Vaziri, Julian Dolby
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation (PLDI'10), pp. 341--350, ACM
A Type System for Data-Centric Synchronization
M Vaziri, F Tip, J Dolby, C Hammer, J Vitek
Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), pp. 304-328, Springer
M Vaziri, F Tip, J Dolby, C Hammer, J Vitek
Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), pp. 304-328, Springer
2009
Static Detection of Atomic-Set Serializability Violations
N Kidd, T Reps, J Dolby, M Vaziri
cs.wisc.edu, 2009
N Kidd, T Reps, J Dolby, M Vaziri
cs.wisc.edu, 2009
2008
Dynamic detection of atomic-set-serializability violations
C Hammer, J Dolby, M Vaziri, F Tip
Proceedings of the 13th international conference on Software …, 2008 - portal.acm.org
C Hammer, J Dolby, M Vaziri, F Tip
Proceedings of the 13th international conference on Software …, 2008 - portal.acm.org
2007
Static detection of atomic-set-serializability violations
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
Technical Report, Technical Report TR-1623, Univ. of Wisconsin (October 2007)
Nicholas Kidd, Thomas Reps, Julian Dolby, Mandana Vaziri
Technical Report, Technical Report TR-1623, Univ. of Wisconsin (October 2007)
Finding Bugs Efficiently with a SAT Solver
J Dolby, M Vaziri, F Tip
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 54-78
J Dolby, M Vaziri, F Tip
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 54-78
Declarative Object Identity Using Relation Types
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78
M Vaziri, F Tip, S Fink, J Dolby
Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'2007), pp. 54-78
2006
Young guns/object orientation: the next generation
Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd Millstein, Alex Potanin, others
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 940--942, 2006
Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd Millstein, Alex Potanin, others
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 940--942, 2006
SAFARI: A meta-tooling framework for generating language-specific IDE's
Philippe Charles, Julian Dolby, Robert M Fuhrer, Stanley M Sutton Jr, Mandana Vaziri
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 722--723, 2006
Philippe Charles, Julian Dolby, Robert M Fuhrer, Stanley M Sutton Jr, Mandana Vaziri
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, pp. 722--723, 2006
Associating Synchronization Constraints with Data in an Object-Oriented Language
M Vaziri, F Tip, J Dolby
Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), pp. 334-345, 2006
M Vaziri, F Tip, J Dolby
Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), pp. 334-345, 2006
SAFARI: a meta-tooling framework for generating language-specific IDE's
Philippe Charles, Julian Dolby, Robert M Fuhrer, STANLEY M SUTTON, Mandana Vaziri
OOPSLA 2006 Demonstration - Companion to the 21st ACM SIGPLAN OOPSLA Symposium
Philippe Charles, Julian Dolby, Robert M Fuhrer, STANLEY M SUTTON, Mandana Vaziri
OOPSLA 2006 Demonstration - Companion to the 21st ACM SIGPLAN OOPSLA Symposium
2003
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver
M Vaziri, D Jackson
LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer
M Vaziri, D Jackson
LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer
2000
1999
Some Shortcomings of OCL, the Object Constraint Language of UML
M Vaziri, D Jackson
Response to Object Management Group's Request for …, 1999 - domino.research.ibm.com
M Vaziri, D Jackson
Response to Object Management Group's Request for …, 1999 - domino.research.ibm.com
1998
Proving Correctness of a Controller Algorithm for RAID 5
M Vaziri, N Lynch, J Wing
Technischer Bericht, MIT Cambridge and Carnegie Mellon …, 1998
M Vaziri, N Lynch, J Wing
Technischer Bericht, MIT Cambridge and Carnegie Mellon …, 1998
1997
A case study in model checking software systems
JM Wing, M Vaziri
Farahani, CARNEGIE-MELLON UNIV … - Science of Computer Programming, 1997 - cs.cmu.edu
JM Wing, M Vaziri
Farahani, CARNEGIE-MELLON UNIV … - Science of Computer Programming, 1997 - cs.cmu.edu
IOA: A Language for Specifying, Programming, and Validating Distributed Systems. Draft
SJ Garland, NA Lynch, M Vaziri
Unpublished manuscript, September, 1997 - domino.research.ibm.com
SJ Garland, NA Lynch, M Vaziri
Unpublished manuscript, September, 1997 - domino.research.ibm.com
1995
Using symbolic model checking to verify cache coherence in a distributed file system
M Vaziri
Farahani - CMU Electrical and Computer Engineering Bachelor's Thesis, …, 1995
M Vaziri
Farahani - CMU Electrical and Computer Engineering Bachelor's Thesis, …, 1995
Model checking software systems: a case study
JM Wing, M Vaziri
Farahani - ACM SIGSOFT Software Engineering Notes, 1995 - portal.acm.org
JM Wing, M Vaziri
Farahani - ACM SIGSOFT Software Engineering Notes, 1995 - portal.acm.org