Published: May 17, 2013 10:00:00 AM
Media Contact: , email@example.com , 334-844-3591
Zack Coker, recent graduate of Auburn University’s Department of Computer Science and Software Engineering, has earned first place at the Association for Computing Machinery (ACM) Student Research Competition Grand Finals for his research, “Program Transformations to Fix C Integers.” Coker will accept the award at ACM’s annual awards banquet to be held in San Francisco on June 16.
The student competition, which is sponsored by Microsoft Research, is designed to encourage students to pursue careers in computer science. It serves as a forum for undergraduate and graduate student members to present their original research. The first rounds of competitions are held at ACM conferences, allowing attendees from around the world to participate. The three winners from each conference compete in the Grand Finals for the combined top spot.
Coker’s research includes three program transformations that have resolved various integer problems present in C programs. These transformations have improved security challenges in benchmark programs. He was recognized for his research in October 2012 when he earned first place at the ACM Systems, Programming, Languages and Application: Software for Humanity (SPLASH) conference. Coker is a member of the Software Analysis, Transformation and Security (SATS) research group, led by computer science and software engineering faculty member Munawar Hafiz.
“Zack worked very hard for this achievement,” Hafiz said. “His work will be an inspiration for other members of the SATS team.”
Coker will attend Carnegie Mellon University for graduate school in August.