Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley


2008 Research Summary


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.