Mandana Vaziri  Mandana Vaziri photo         

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash4595

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


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.


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

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


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

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


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

Open language implementation
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

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


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


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)

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

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


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

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

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

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


2003

Finding Bugs in Software with a Constraint Solver
M Vaziri
Farahani - 2003 - research.ibm.com

Checking Properties of Heap-Manipulating Procedures with a Constraint Solver
M Vaziri, D Jackson
LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer


2000

Finding Bugs with a Constraint Solver
D Jackson, M Vaziri
portal.acm.org, 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


1998

Proving Correctness of a Controller Algorithm for RAID 5
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

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


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

Model checking software systems: a case study
JM Wing, M Vaziri
Farahani - ACM SIGSOFT Software Engineering Notes, 1995 - portal.acm.org