X10 and APGAS at petascale
- Olivier Tardieu
- Benjamin Herta
- et al.
- 2014
- PPoPP 2014
Publications
Date
Featured collections
Popular topics
20 results for Mandana Vaziri
MemSAT: Checking axiomatic specifications of memory models
- Emina Torlak
- Mandana Vaziri
- et al.
- 2010
- PLDI 2010
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
- POPL 2006
X10 and APGAS at petascale
- Olivier Tardieu
- Benjamin Herta
- et al.
- 2016
- ACM TOPC
A data-centric approach to synchronization
- Julian Dolby
- Christian Hammer
- et al.
- 2012
- ACM TOPLAS
Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer
Associating synchronization constraints with data in an object-oriented language
- Mandana Vaziri
- Frank Tip
- et al.
- 2006
- ACM SIGPLAN Notices