|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 23 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek |
A data-centric approach to synchronization.  |
ACM Trans. Program. Lang. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Finding concurrency-related bugs using random isolation. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Mandana Vaziri, Julian Dolby |
MemSAT: checking axiomatic specifications of memory models. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
sat, bounded model checking, memory models, axiomatic specifications |
| 1 | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
A Type System for Data-Centric Synchronization. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Finding Concurrency-Related Bugs Using Random Isolation. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
| 1 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Dolby, Mandana Vaziri, Frank Tip |
Finding bugs efficiently with a SAT solver. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
model checking, specification, slicing, SAT solving |
| 1 | Mandana Vaziri, Frank Tip, Julian Dolby |
Associating synchronization constraints with data in an object-oriented language. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
programming model, serializability, data races, concurrent object-oriented programming |
| 1 | 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 |
DBLP DOI BibTeX RDF |
object orientation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
SAFARI, environment framework, Eclipse |
| 1 | Mandana Vaziri, Daniel Jackson |
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Mandana Vaziri |
Finding bugs with a constraint solver. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers |
| 1 | Mandana Vaziri, Daniel Jackson |
Some Shortcomings of OCL, the Object Constraint Language of UML. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing |
Proving Correctness of a Controller Algorithm for the RAID Level 5 System. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mandana Vaziri |
A Case study in Model Checking Software Systems. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mandana Vaziri |
Model Checking Software Systems: A Case Study. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")