CSC News

October 10, 2012

Murphy-Hill and Heckman Receive Award to Study Program Analysis Tools

Drs. Emerson Murphy-Hill, assistant professor, and Sarah Heckman, teaching assistant professor in the computer science department at NC State University, have received an award of $250,000 from the National Science Foundation (NSF) to support their research proposal titled “Expressive and Scalable Notifications from Program Analysis Tools.”
The award runs from October 1, 2012 through September 30, 2014.
Abstract – A wide variety of program analysis tools have been created to help software developers do their jobs, yet the output of these tools are often difficult to understand and vary significantly from tool to tool. As a result, software developers may waste time trying to interpret the output of these tools, instead of making their software more capable and reliable. This proposal suggests a broad investigation of several types of program analysis tools, with the end goal being an improved understanding of how program analysis tools can inform developers in the most expressive and uniform way possible. Once this goal is reached, we can create program analysis tools that enable developers to make tremendous strides towards more correct, more reliable, and more on-time software systems.
For more information on Dr. Murphy-Hill, click here.
For more information on Dr. Heckman, click here.


Return To News Homepage