Mandana Vaziri

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A reactive language for analyzing cloud logs.
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.
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

2016
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

2015
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

2014
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

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

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

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

2010
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

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

2007
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

2006
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

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

2003
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.
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.
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

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

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

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


  Loading...