SHErrLoc tool released

Danfeng Zhang has released his tool for diagnosing errors from static analysis, which was described in our paper in POPL 2014. The tool is now called SHErrLoc, for Static Holistic Error Locator. We hope that this tool will be useful to others doing research on localizing static errors.


Polyglot tutorial

Steve Chong, Nate Nystrom, and I are running a tutorial on Polyglot at PLDI in June. I'm looking forward to it. Polyglot has lots of new features we want to show off, like Java 5 support and Chin Isradisaikul's new design patterns. Steve's new program analysis framework Accrue is really powerful too. Should be fun … Continue reading Polyglot tutorial