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.
Your Comments
iBerkshires.com welcomes critical, respectful dialogue. Name-calling, personal attacks, libel, slander or foul language is not allowed. All comments are reviewed before posting and will be deleted or edited as necessary.
No Comments
Williamstown Housing Trust Agrees to Continue Emergency Mortgage, Rental Programs
By Stephen DravisiBerkshires Staff
WILLIAMSTOWN, Mass. — The board of the town's Affordable Housing Trust at its December meeting voted to extend its mortgage and rental assistance programs and discussed bringing in some consultants early next year before embarking on any new programs.
Chair Daniel Gura informed the board that its agreements with Pittsfield's Hearthway Inc., to administer the Williamstown Emergency Rental Assistance Program and Williamstown Emergency Mortgage Assistance Program was expiring at the end of the year.
Gura sought and obtained a vote of the board to extend the programs, born during the COVID-19 pandemic, through the end of January 2026, at which time the board plans to sign a new long-term agreement.
"In 2024, we distributed $80,000," through the programs known as WERAP and WEMAP, Gura said. "This year, to date, we gave $16,000, and Ihere's $17,000 left. … It's a little interesting we saw a dropoff from 2024 to 2025, although I think there were obvious reasons for that in terms of where we are in the world."
Gura suggested that the board might want to increase the funding to the programs, which benefit income-qualified town residents.
"If you look at the broader economic picture in this country, there's a prospect of more people needing help, not fewer people," Thomas Sheldon said in agreeing with Gura. "I think the need will bump up again."
The board voted to add an additional $13,000 to the amount available to applicants screened by Hearthway with the possibility of raising that funding if a spike in demand is seen.
The Teacher of the Month series, in collaboration with Berkshire Community College, features distinguished teachers nominated by community members. You can nominate a teacher here.
click for more
Preparation for the event began in early December, with students crafting bells to accompany their singing. The handmade cards were completed last week.
click for more
The urgent care center will occupies a suite of rooms off the right side of the entry, with two treatment rooms, offices, amenities and X-ray room.
click for more
The group planning a new skate park for a town-owned site on Stetson Road hopes to get construction underway in the spring — if it can raise a little more than $500,000 needed to reach its goal. click for more
