Mandana Vaziri

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek: Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331

Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012)

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding concurrency-related bugs using random isolation. STTT 13(6): 495-518 (2011)

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek: A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328

Emina Torlak, Mandana Vaziri, Julian Dolby: MemSAT: checking axiomatic specifications of memory models. PLDI 2010: 341-350

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213

Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240

Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78

Julian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204

Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri: SAFARI: a meta-tooling framework for generating language-specific IDE's. OOPSLA Companion 2006: 722-723

Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri: Young guns/object orientation: the next generation. OOPSLA Companion 2006: 940-942

Mandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345

Mandana Vaziri, Daniel Jackson: Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520

Daniel Jackson, Mandana Vaziri: Finding bugs with a constraint solver. ISSTA 2000: 14-25

Mandana Vaziri, Daniel Jackson: Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562

Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing: Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS 1998: 16-25

Jeannette M. Wing, Mandana Vaziri: A Case study in Model Checking Software Systems. Sci. Comput. Program. 28(2-3): 273-299 (1997)

Jeannette M. Wing, Mandana Vaziri: Model Checking Software Systems: A Case Study. SIGSOFT FSE 1995: 128-139