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
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.
The Prudential Committee on Wednesday discussed the need for a policy for all call-volunteer firefighters who reach the state's mandatory retirement age.
click for more
The Select Board on Monday was told that it should let the people who walk their dogs in the Spruces Park decide how the 114-acre town-owned park is managed. click for more
The exhibit "Fragile Beauty" fills the pavilion with glass objects from the Corning Museum of Glass, showcasing different cultures, time periods and techniques, and will run through Oct. 27.
click for more
The Zoning Board of Appeals on Thursday began its review of the development plan for a new Williams College Museum of Art at the junction of Routes 2 and 7. click for more
Greylock Canine Club owner Peter Umbrianna is always surprised when owners drop off their dogs at his South Williamstown doggy day-care. click for more