Mandana Vaziri

Publications

• Spreadsheets for stream partitions and windows position paper

  • • Martin Hirzel
    • Rodric Rabbah
    • et al.
  • 2015
  • SEMS/ICSE 2015

  Conference paper

• X10 and APGAS at petascale

  • • Olivier Tardieu
    • Benjamin Herta
    • et al.
  • 2014
  • PPoPP 2014

  Conference paper

• Detecting deadlock in programs with data-centric synchronization

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

  Conference paper

• A data-centric approach to synchronization

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

  Paper

• Open language implementation

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

  Workshop paper

• Finding concurrency-related bugs using random isolation

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

  Paper

• MemSAT: Checking axiomatic specifications of memory models

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

  Conference paper

• Dynamic detection of atomic-set-serializability violations

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

  Conference paper

• Finding bugs efficiently with a SAT solver

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

  Conference paper

• Young guns/object orientation: The next generation

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

  Conference paper