Stephen Freund and co-authors Cormac Flanagan and Dustin Rhodes from UC Santa Cruz have been awarded the ACM PLDI 2017 Distinguished Artifact Award for their implementation of the BigFoot checker. That system, which was presented at the PLDI conference in a paper titled “BigFoot: Static Check Placement for Dynamic Race Detection”, is an analysis tool to help software engineers find a common type of programming mistake in multithreaded programs.
The Distinguished Artifact Award is given once a year to recognize the computer system presented at the conference that most clearly, robustly, and completely demonstrates the underlying research ideas and that facilitates further research on the topic.
