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
Dynamic detection of atomic-set-serializability violations
- Christian Hammer
- Julian Dolby
- et al.
- 2008
- ICSE 2008
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
Spreadsheets for stream processing with unbounded windows and partitions
- Martin Hirzel
- Rodric Rabbah
- et al.
- 2016
- DEBS 2016
Spreadsheets for stream partitions and windows position paper
- Martin Hirzel
- Rodric Rabbah
- et al.
- 2015
- SEMS/ICSE 2015