UW CSE graduate student Pavel Panchekha, undergraduate student Alex Sanchez-Stern, graduate student James R. Wilcox, and professor Zachary Tatlock have received a “Best Paper” award at PLDI 2015, the 36th annual ACM SIGPLAN Conference on Programming Language Design and Implementation, for their paper “Automatically Improving Accuracy for Floating Point Expressions.”
The paper describes Herbie, a tool that automatically discovers and applies numerical analysis techniques to improve the accuracy of programs without requiring any specialized knowledge from the user.
Check out the Herbie project web page here.
Congratulations Pavel, Alex, James, and Zach!