BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × Poland
1 × Slovenia
1 × Sweden
2 × Germany
7 × USA
Collaborated with:
J.Dolby F.Tip D.Jackson C.Hammer J.M.Wing D.J.0001 M.Hirzel J.Vitek E.Torlak O.Tardieu A.Shinnar N.Kidd T.W.Reps S.Fink R.Rabbah P.Suter L.Mandel J.Siméon D.Marino B.Herta D.Cunningham D.Grove P.Kambadur V.A.Saraswat M.Takeuchi
Talks about:
constraint (4) synchron (3) solver (3) object (3) check (3) find (3) data (3) bug (3) languag (2) centric (2)

Person: Mandana Vaziri

DBLP DBLP: Vaziri:Mandana

Contributed to:

ECOOP 20142014
PPoPP 20142014
ICSE 20132013
ECOOP 20102010
PLDI 20102010
VMCAI 20092009
ICSE 20082008
ECOOP 20072007
ESEC/FSE 20072007
POPL 20062006
TACAS 20032003
ISSTA 20002000
TOOLS USA 20002000
FSE 19951995
FSE 20162016
Onward! 20172017

Wrote 16 papers:

ECOOP-2014-VaziriTRSH #spreadsheet
Stream Processing with a Spreadsheet (MV, OT, RR, PS, MH), pp. 360–384.
PPoPP-2014-TardieuHCGKSSTV
X10 and APGAS at Petascale (OT, BH, DC, DG, PK, VAS, AS, MT, MV), pp. 53–66.
ICSE-2013-MarinoHDVTV #concurrent #detection #source code
Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
ECOOP-2010-VaziriTDHV #type system
A Type System for Data-Centric Synchronization (MV, FT, JD, CH, JV), pp. 304–328.
PLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification
MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.
VMCAI-2009-KiddRDV #debugging #random #using
Finding Concurrency-Related Bugs Using Random Isolation (NK, TWR, JD, MV), pp. 198–213.
ICSE-2008-HammerDVT #detection
Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.
ECOOP-2007-VaziriTFD #declarative #using
Declarative Object Identity Using Relation Types (MV, FT, SF, JD), pp. 54–78.
ESEC-FSE-2007-DolbyVT #debugging #satisfiability
Finding bugs efficiently with a SAT solver (JD, MV, FT), pp. 195–204.
POPL-2006-VaziriTD #constraints #object-oriented
Associating synchronization constraints with data in an object-oriented language (MV, FT, JD), pp. 334–345.
TACAS-2003-VaziriJ #constraints #theorem proving
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver (MV, DJ), pp. 505–520.
ISSTA-2000-JacksonV #constraints #debugging #theorem proving
Finding bugs with a constraint solver (DJ, MV), pp. 14–25.
TOOLS-USA-2000-VaziriJ #constraints #ocl #uml
Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
FSE-1995-WingV #case study #model checking
Model Checking Software Systems: A Case Study (JMW, MV), pp. 128–139.
FSE-2016-JacksonV #verification
Correct or usable? the limits of traditional verification (impact paper award) (DJ0, MV), p. 11.
Onward-2017-VaziriMSSH #api #chat #generative #specification #web
Generating chat bots from web API specifications (MV, LM, AS, JS, MH), pp. 44–57.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.