Mandana Vaziri

According to our database1, Mandana Vaziri authored at least 28 papers between 1995 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 




A reactive language for analyzing cloud logs.
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

I Can Parse You: Grammars for Dialogs.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Generating chat bots from web API specifications.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

X10 and APGAS at Petascale.
ACM Trans. Parallel Comput., 2016

An Executable Specification for SPARQL.
Proceedings of the Web Information Systems Engineering - WISE 2016, 2016

Correct or usable? the limits of traditional verification (impact paper award).
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Spreadsheets for stream processing with unbounded windows and partitions.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

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

X10 and APGAS at Petascale.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Stream Processing with a Spreadsheet.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Detecting deadlock in programs with data-centric synchronization.
Proceedings of the 35th International Conference on Software Engineering, 2013

A data-centric approach to synchronization.
ACM Trans. Program. Lang. Syst., 2012

Finding concurrency-related bugs using random isolation.
Int. J. Softw. Tools Technol. Transf., 2011

MemSAT: checking axiomatic specifications of memory models.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A Type System for Data-Centric Synchronization.
Proceedings of the ECOOP 2010, 2010

Dynamic detection of atomic-set-serializability violations.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Finding bugs efficiently with a SAT solver.
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.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Associating synchronization constraints with data in an object-oriented language.
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Young guns/object orientation: the next generation.
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.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Finding bugs in software with a constraint solver.
PhD thesis, 2004

Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Some Shortcomings of OCL, the Object Constraint Language of UML.
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Proving Correctness of a Controller Algorithm for the RAID Level 5 System.
Proceedings of the Digest of Papers: FTCS-28, 1998

A Case study in Model Checking Software Systems.
Sci. Comput. Program., 1997

Model Checking Software Systems: A Case Study.
Proceedings of the SIGSOFT '95, 1995