Publications

21 results for Mandana Vaziri

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