Mandana Vaziri

Publications

• Detecting deadlock in programs with data-centric synchronization

  • • Daniel Marino
    • Christian Hammer
    • et al.
  • 2013
  • ICSE 2013

• A data-centric approach to synchronization

  • • Julian Dolby
    • Christian Hammer
    • et al.
  • 2012
  • ACM TOPLAS

• Open language implementation

  • • Mandana Vaziri
    • Robert Fuhrer
    • et al.
  • 2011
  • ICSE 2011

• Finding concurrency-related bugs using random isolation

  • • Nicholas Kidd
    • Thomas Reps
    • et al.
  • 2011
  • International Journal on Software Tools for Technology Transfer

• MemSAT: Checking axiomatic specifications of memory models

  • • Emina Torlak
    • Mandana Vaziri
    • et al.
  • 2010
  • PLDI 2010

• Dynamic detection of atomic-set-serializability violations

  • • Christian Hammer
    • Julian Dolby
    • et al.
  • 2008
  • ICSE 2008

• Finding bugs efficiently with a SAT solver

  • • Julian Dolby
    • Mandana Vaziri
    • et al.
  • 2007
  • ESEC/FSE 2007

• SAFARI: A meta-tooling framework for generating language-specific IDE's

  • • Philippe Charles
    • Julian Dolby
    • et al.
  • 2006
  • OOPSLA 2006

• Young guns/object orientation: The next generation

  • • Jeffrey Overbey
    • Brian Foote
    • et al.
  • 2006
  • OOPSLA 2006

• Associating synchronization constraints with data in an object-oriented language

  • • Mandana Vaziri
    • Frank Tip
    • et al.
  • 2006
  • ACM SIGPLAN Notices