Williams Professor Receives Grant from National Science Foundation for Work on Software ErrorsStephen Freund, assistant professor of computer science at Williams College, has been awarded a five-year, $400,000 CAREER grant from the National Science Foundation to research "Hybrid Atomicity Checking," a method of searching for bugs in software systems. The grant will enable Freund to develop the infrastructure necessary to carry out his research and support research collaborations with students.
This is a Faculty Early Career Development Program grant, the National Science Foundations' most prestigious award in support of early career development, and is awarded to scholar-teachers who most effectively integrate research and education.
"Software bugs -- mistakes made by engineers in a program's source code -- plague virtually all computer systems. The effects of bugs can range from relatively minor inconveniences to catastrophic failures," said Freund. "One particularly difficult kind of bug to identify and fix is an atomicity violation."
Atomicity violations are caused when separate pieces of a software system improperly access shared resources, such as data or files, at the same time. Such errors do not occur at predictable times and are difficult to recognize and repair during testing.
Freund's NSF project, "Hybrid Atomicity Checking," will develop automated tools to find such atomicity errors in software systems. As hybrid checkers, these tools will both inspect software source code and also monitor running programs. The hybrid approach improves their precision and ease-of-use over existing tools, and the overall result is a more cost-effective way to find atomicity bugs.
This project builds on earlier atomicity checking work by Freund and his collaborators, which was funded under a joint NSF/NASA program.
Freund teaches classes in introductory computer science, advanced programming, principles of programming languages, and compilers. As part of this grant, he plans to integrate recent advances in software engineering, concurrent programming, and software analysis into the courses he teaches.
Freund received his B.S., M.S., and Ph.D. in computer science from Stanford University. Before coming to Williams, he was a member of the research staff at the Compaq Systems Research Center.
More Williamstown Stories