Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

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.