Williams Professor Receives Grant from National Science Foundation for Work on Software Errors

Print Story | Email Story
Stephen 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.
If you would like to contribute information on this article, contact us at info@iberkshires.com.

Williamstown Board Opts to Negotiate with College on Water St. Lot

By Stephen DravisiBerkshires Staff

Newly elected board member Nate Budington, far left, participates in his first in-person meeting along with, from left, Matt Neely, Stephanie Boyd, Peter Beck, Shana Dixon and Town Manager Robert Menicocci.
WILLIAMSTOWN, Mass. — The Select Board on Monday decided to enter into negotiations with Williams College on the sale of the vacant town-owned lot at 59 Water St.
 
But the board members made it clear that the college's proposal to acquire the lot is a starting point, not a final deal that the elected officials would accept.
 
"For the sake of continued conversation, I'm in favor of [awarding Williams the site], but if this process wasn't continued with the opportunity for further negotiation, I wouldn't vote to continue this," Peter Beck said. "I think that next step is necessary for us to get to a yes on this."
 
"I think there's wide agreement on that," Matthew Neely said just before the 5-0 vote to enter talks with the college.
 
Williams was the sole respondent to a town-issued request for proposals to develop the former town garage site, currently a dirt lot.
 
The college's stated intent is to build a new Facilities office and create up to 170 parking spaces at 59 Water Street. That use will allow the college to redevelop the current Facilities building site and parking lot as part of a reconception of the school's indoor athletic and recreation facilities.
 
Under the terms of the RFP, the college's proposal was subjected to review by an ad hoc advisory committee to the town manager, who brought the question to the Select Board. That board will have the final say on any purchase and sales agreement.
 
View Full Story

More Williamstown Stories