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 Planning Board Narrowing in on Subdivision Bylaw Changes

By Stephen DravisiBerkshires Staff
WILLIAMSTOWN, Mass. — The Planning Board late last month discussed specific features of what it plans to pass as a new subdivision control bylaw this year.
 
The board long has discussed the complex set of regulations as being out of date and cumbersome to both potential developers and the board itself, which has needed to hear requests for waivers of outdated rules for the handful of residential subdivisions that have been proposed in town in recent years.
 
This spring, the town engaged consultants from Northampton's Dodson and Flinker Landscape Architecture and Planning to go through the existing bylaw, compare it to more contemporary regulations in other communities and help craft a revised bylaw.
 
Unlike the zoning bylaw, where amendments require approval of town meeting, the subdivision control bylaw is a creation of the Planning Board, which can make changes on its own after a public hearing process it hopes to complete this year.
 
At a special Planning Board meeting on May 26, Dillon Sussman of Dodson and Flinker and his colleagues walked the board through a dozen different decision points that the board must resolve — either by leaving the bylaw as is or making a change — and offered suggestions based on best practices.
 
All of the issues are technical and ranged from the fundamental, like how the bylaw will define types of subdivisions, to the highly specific, like what turning radii will be required in new streets that are constructed to serve planned developments.
 
One example of a topic that came up in the recent approval of a four-home subdivision off Summer Street is stormwater management.
 
View Full Story

More Williamstown Stories