2008 Research Summary

Alphabet

View Current Project Information

Ras Bodik

A well-established approach for scaling an accurate analyzer has been to come up with smart decompositions of the problem. Since this strategy has been only partially successful in reducing the analysis time, our project follows the opposite approach--rather than scaling an accurate analyzer, we improving the accuracy of an already scalable method, by selectively refining its results using another, more expensive analysis.