Mandana Vaziri

According to our database, Mandana Vaziri authored at least 30 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

2018

A reactive language for analyzing cloud logs.

Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

2017

I Can Parse You: Grammars for Dialogs.

Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Generating chat bots from web API specifications.

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

X10 and APGAS at Petascale.

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang

ACM Trans. Parallel Comput., 2016

An Executable Specification for SPARQL.

Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri

Proceedings of the Web Information Systems Engineering - WISE 2016, 2016

Correct or usable? the limits of traditional verification (impact paper award).

Daniel Jackson, Mandana Vaziri

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Spreadsheets for stream processing with unbounded windows and partitions.

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015

Spreadsheets for Stream Partitions and Windows.

Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

2014

X10 and APGAS at Petascale.

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Stream Processing with a Spreadsheet.

Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Detecting deadlock in programs with data-centric synchronization.

Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A data-centric approach to synchronization.

Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek

ACM Trans. Program. Lang. Syst., 2012

2011

Finding concurrency-related bugs using random isolation.

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri

Int. J. Softw. Tools Technol. Transf., 2011

Open language implementation.

Mandana Vaziri, Robert M. Fuhrer, Evelyn Duesterwald

Proceedings of the 4th International Workshop on Multicore Software Engineering, 2011

2010

MemSAT: checking axiomatic specifications of memory models.

Emina Torlak, Mandana Vaziri, Julian Dolby

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A Type System for Data-Centric Synchronization.

Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek

Proceedings of the ECOOP 2010, 2010

2008

Dynamic detection of atomic-set-serializability violations.

Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Finding bugs efficiently with a SAT solver.

Julian Dolby, Mandana Vaziri, Frank Tip

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Declarative Object Identity Using Relation Types.

Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Associating synchronization constraints with data in an object-oriented language.

Mandana Vaziri, Frank Tip, Julian Dolby

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

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

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

SAFARI: a meta-tooling framework for generating language-specific IDE's.

Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2004

Finding bugs in software with a constraint solver.

Mandana Vaziri-Farahani

PhD thesis, 2004

2003

Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.

Mandana Vaziri, Daniel Jackson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2000

Some Shortcomings of OCL, the Object Constraint Language of UML.

Mandana Vaziri, Daniel Jackson

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Finding bugs with a constraint solver.

Daniel Jackson, Mandana Vaziri

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1998

Proving Correctness of a Controller Algorithm for the RAID Level 5 System.

Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

A Case study in Model Checking Software Systems.

Jeannette M. Wing, Mandana Vaziri

Sci. Comput. Program., 1997

1995

Model Checking Software Systems: A Case Study.

Jeannette M. Wing, Mandana Vaziri

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995