Detecting deadlock in programs with data-centric synchronization
- Daniel Marino
- Christian Hammer
- et al.
- 2013
- ICSE 2013
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
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
Open language implementation
- Mandana Vaziri
- Robert Fuhrer
- et al.
- 2011
- ICSE 2011
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
- Jiawei Tyler Gu
- Xudong Sun
- et al.
- 2023
- SOSP 2023
A reactive language for analyzing cloud logs
- Guillaume Baudart
- Olivier Tardieu
- et al.
- 2018
- SPLASH/REBLS 2018
Generating chat bots from web API specifications
- 2017
- Onward! 2017
I can parse you: Grammars for dialogs
- Martin Hirzel
- Louis Mandel
- et al.
- 2017
- SNAPL 2017
CloudLens, a scripting language to analyze semi-structured textual data
- Guillaume Baudart
- Louis Mandel
- et al.
- 2017
- JFLA 2017