Mandana Vaziri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2000–2023
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SOSP | Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. | Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu |
| 2018 | OOPSLA | A reactive language for analyzing cloud logs. | Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri |
| 2017 | OOPSLA | Generating chat bots from web API specifications. | Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2016 | WISE | An Executable Specification for SPARQL. | Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri |
| 2015 | ICSE | Spreadsheets for Stream Partitions and Windows. | Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri |
| 2014 | ECOOP | Stream Processing with a Spreadsheet. | Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel |
| 2014 | PPoPP | X10 and APGAS at Petascale. | Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri |
| 2013 | ICSE | Detecting deadlock in programs with data-centric synchronization. | Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek |
| 2011 | ICSE | Open language implementation. | Mandana Vaziri, Robert M. Fuhrer, Evelyn Duesterwald |
| 2010 | ECOOP | A Type System for Data-Centric Synchronization. | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
| 2010 | PLDI | MemSAT: checking axiomatic specifications of memory models. | Emina Torlak, Mandana Vaziri, Julian Dolby |
| 2009 | VMCAI | Finding Concurrency-Related Bugs Using Random Isolation. | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
| 2008 | ICSE | Dynamic detection of atomic-set-serializability violations. | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip |
| 2007 | ECOOP | Declarative Object Identity Using Relation Types. | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
| 2006 | OOPSLA | SAFARI: a meta-tooling framework for generating language-specific IDE's. | Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri |
| 2006 | OOPSLA | Young guns/object orientation: the next generation. | Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri |
| 2006 | POPL | Associating synchronization constraints with data in an object-oriented language. | Mandana Vaziri, Frank Tip, Julian Dolby |
| 2003 | TACAS | Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. | Mandana Vaziri, Daniel Jackson |
| 2000 | ISSTA | Finding bugs with a constraint solver. | Daniel Jackson, Mandana Vaziri |