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: Vaziri:Mandana
Contributed to:
2014
2014
20132010
2010
200920082007
2007
2006
2003
2000
2000
19952016
2017Wrote 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.