Mandana Vaziri

Publications

• 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

  • • Mandana Vaziri
    • Louis Mandel
    • et al.
  • 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

• X10 and APGAS at petascale

  • • Olivier Tardieu
    • Benjamin Herta
    • et al.
  • 2016
  • ACM TOPC

• Spreadsheets for stream partitions and windows position paper

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

• X10 and APGAS at petascale

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

• Detecting deadlock in programs with data-centric synchronization

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