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.
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
Finished the very addictive 2048 game. My pro tip for other players: uniqueness, and boustrophedon. And don't start playing unless you have several hours to burn.