Nadya Kuzmina presents at WODA 2008 in Seattle
Nadya Kuzmina presented a paper at WODA 2008 the Sixth International Workshop on Dynamic Analysis held July 21, 2008 in Seattle, Washington. The paper, Extending Dynamic Constraint Detection with Disjunctive Constraints was co-authored by John Paul (Ph.D. student in Computer Science), Ruben Gamboa (Associate Professor of CS) and James Caldwell (Associate Professor of CS). This work was funded by the NSF Science of Design Program. Nadya is a Ph.D. student in CS at UW and is working on extending dynamic constraint detection tools with information from the programs to be analysed.
