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.

Teacher of the Month: Frani Miceli

By Sabrina DammsiBerkshires Staff

Students say teacher Frani Miceli makes learning fun.  
WILLIAMSTOWN, Mass. — Williamstown Elementary School fifth-grade teacher Frani Miceli has been selected as the July Teacher of the Month. 
 
The Teacher of the Month series, in collaboration with Berkshire Community College, will run for the next 12 months and will feature distinguished teachers nominated by community members. You can nominate a teacher here. 
 
Miceli has been teaching for 26 years and has worked to develop a happy, comfortable, and creative learning environment for her pupils.
 
Through her connection with her students and the decor on her classroom walls, Miceli hopes to help them realize that being kind is possible. 
 
"I have a thing on my wall that says, 'Character is what you do when no one is watching.' So, I hope that they have internalized that," Miceli said. 
 
"We make personal decisions because it's the right thing to do, and sometimes our actions can negatively impact other people, and sometimes they can positively impact other people. So I think happy kids make happy choices, and so I just want them to be happy, engaged children"
 
Every single one of her students in her morning math class jumped at the opportunity to praise their  teacher. 
 
View Full Story

More Williamstown Stories