*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Kenya Payton
Sr. Administrative Assistant
Summary Sentence: SCS Recruitment Lecture by Fan Long, Ph.D. Candidate at the Massachusetts Institute of Technology
Full Summary: No summary paragraph submitted.
Fan LongAbstract:
Software systems are increasingly integrated into every part of our society. As the number of systems and our dependence on these systems continue to grow, making these systems reliable and secure becomes an increasingly important challenge for our society and a daunting task for software developers.
Automatic patch generation holds out the promise of automatically correcting software defects without the need for developers to diagnose, understand, and correct these defects.
In this talk, Long will present two novel automatic patch generation systems, Prophet and Genesis, both of which learn from past successful patches to automatically fix defects. By collectively leveraging development efforts worldwide, Prophet and Genesis automatically generate correct patches for real-world defects in large open-source C and Java applications with millions of lines of code.
This research also demonstrates that the growing volume of software programs are not just a challenge but a great opportunity. Exploiting this opportunity can enable revolutionary automated techniques that enhance software reliability and security.
Bio:
Fan Long is a Ph.D. candidate studying computer science at the Massachusetts Institute of Technology. His research focuses on developing automated programming systems to improve software reliability and security.
He has developed systems that automatically identify and eliminate errors in large software programs. These systems enable software programs to operate successfully in spite of the presence of errors.
