Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
- Jiawei Tyler Gu
- Xudong Sun
- et al.
- 2023
- SOSP 2023
Mandana Vaziri
Title
Principal Research Scientist
Bio
Ph.D. Massachusetts Institute of Technology
B.S. Carnegie Mellon University
I am a Research Staff Member at the IBM T. J. Watson Research Center, working in the area of Programming Languages and Software Engineering.
Publications
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
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
Patents
- US
- 10176160
- US
- 9569418
- US
- 8527946
- US
- 8423966
- US
- 8141054
- US
- 7716645
Top collaborators
OT
Olivier Tardieu
Principal Research Scientist, Manager
LM
Louis Mandel
Research Staff Member
DG
David Grove
Distinguished Research Scientist