![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mandana Vaziri
Person information
- affiliation: IBM T.J. Watson Research Center, Hawthorne, NY, USA
- affiliation (former): Massachusetts Institute of Technology, Cambridge, MA, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c26]Jiawei Tyler Gu
, Xudong Sun
, Wentao Zhang
, Yuxuan Jiang
, Chen Wang
, Mandana Vaziri
, Owolabi Legunsen
, Tianyin Xu
:
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. SOSP 2023: 96-112
2010 – 2019
- 2018
- [c25]Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri:
A reactive language for analyzing cloud logs. REBLS@SPLASH 2018: 61-70 - 2017
- [c24]Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. Onward! 2017: 44-57 - [c23]Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. SNAPL 2017: 6:1-6:15 - 2016
- [j4]Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove
, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang:
X10 and APGAS at Petascale. ACM Trans. Parallel Comput. 2(4): 25:1-25:32 (2016) - [c22]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for stream processing with unbounded windows and partitions. DEBS 2016: 49-60 - [c21]Daniel Jackson, Mandana Vaziri:
Correct or usable? the limits of traditional verification (impact paper award). SIGSOFT FSE 2016: 11 - [c20]Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri:
An Executable Specification for SPARQL. WISE (2) 2016: 298-305 - 2015
- [c19]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE 2015: 39-40 - [i1]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. CoRR abs/1503.04215 (2015) - 2014
- [c18]Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
Stream Processing with a Spreadsheet. ECOOP 2014: 360-384 - [c17]Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove
, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri:
X10 and APGAS at Petascale. PPoPP 2014: 53-66 - 2013
- [c16]Daniel Marino, Christian Hammer
, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek:
Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331 - 2012
- [j3]Julian Dolby, Christian Hammer
, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek:
A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4:1-4:48 (2012) - 2011
- [j2]Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri:
Finding concurrency-related bugs using random isolation. Int. J. Softw. Tools Technol. Transf. 13(6): 495-518 (2011) - [c15]Mandana Vaziri, Robert M. Fuhrer, Evelyn Duesterwald:
Open language implementation. IWMSE@ICSE 2011: 41-42 - 2010
- [c14]Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer
, Jan Vitek:
A Type System for Data-Centric Synchronization. ECOOP 2010: 304-328 - [c13]Emina Torlak, Mandana Vaziri, Julian Dolby:
MemSAT: checking axiomatic specifications of memory models. PLDI 2010: 341-350
2000 – 2009
- 2009
- [c12]Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri:
Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213 - 2008
- [c11]Christian Hammer
, Julian Dolby, Mandana Vaziri, Frank Tip:
Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240 - 2007
- [c10]Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby:
Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78 - [c9]Julian Dolby, Mandana Vaziri, Frank Tip:
Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204 - 2006
- [c8]Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri:
SAFARI: a meta-tooling framework for generating language-specific IDE's. OOPSLA Companion 2006: 722-723 - [c7]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:
Young guns/object orientation: the next generation. OOPSLA Companion 2006: 940-942 - [c6]Mandana Vaziri, Frank Tip, Julian Dolby:
Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345 - 2004
- [b1]Mandana Vaziri-Farahani:
Finding bugs in software with a constraint solver. Massachusetts Institute of Technology, Cambridge, MA, USA, 2004 - 2003
- [c5]Mandana Vaziri, Daniel Jackson:
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520 - 2000
- [c4]Daniel Jackson, Mandana Vaziri:
Finding bugs with a constraint solver. ISSTA 2000: 14-25 - [c3]Mandana Vaziri, Daniel Jackson:
Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562
1990 – 1999
- 1998
- [c2]Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing:
Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS 1998: 16-25 - 1997
- [j1]Jeannette M. Wing, Mandana Vaziri:
A Case study in Model Checking Software Systems. Sci. Comput. Program. 28(2-3): 273-299 (1997) - 1995
- [c1]Jeannette M. Wing, Mandana Vaziri:
Model Checking Software Systems: A Case Study. SIGSOFT FSE 1995: 128-139
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint