Cristina Cifuentes says her latest research project started with a simple observation: Sun has a lot of programmers writing a lot of code, but they don't use bug-checkers. Though any number of tools are available, they have proved to be far too slow, taking as much as a week to run. So Cifuentes began the Parfait project. The result? A bug-checker that can analyze 8 million lines of code in 20 minutes. That's right, 20 minutes.
