Analysis is necessary, but far from sufficient (abstract only)
Jon Pincus · 2000
Why are there so few successful "real-world" programming and testing tools based on academic research? This talk focuses on program analysis tools, and proposes a surprisingly simple explanation with interesting ramifications.