Once every week while school is in session, EECS invites a distinguished researcher or practitioner in a computer science or electrical and computer engineering-related field to present their ideas and/or work. Talks are generally targeted to electrical engineering and computer science graduate students. This colloquium series is free and open to everyone.

Upcoming Colloquia

Helping to improve the quality of software systems by inferring defects using static and dynamic analysis

Monday, November 27, 2017 - 4:00pm to 4:50pm
LPSC 125

Speaker Information

Iftekhar Ahmed
Oregon State University

Abstract

Software will always have bugs, and as software continues to become a more and more pervasive part of our lives, software failures will continue to affect more people than ever. In the absence of a major breakthrough in model checking or formal verification, improving and checking software quality requires a statistical approach; our confidence in our systems depends on our confidence in the exhaustiveness of our testing. As software systems get more complex, the task of exhaustive testing becomes more complex. In order to build less error prone systems, we therefore need to not only focus on quickly and efficiently identifying bugs through testing, but also on identifying factors associated with bugs in order to prevent them in the first place. Software development is a complex process that requires coordination between individuals and technology, and as we look to predict and prevent faults, we need to examine the effect that socio-technical factors have on code quality. In this talk, I present my research on identifying factors that are associated with software faults. I also present my work on improving the effectiveness of testing to automatically uncover bugs in complex real-world systems to build better quality software.

Speaker Bio

Iftekhar Ahmed is a Ph.D. candidate in Computer Science at Oregon State University doing research in Software Engineering, with a focus on combining testing, static analysis and machine learning approaches to help improve software quality under real-world conditions. His Ph.D. work on improving the effectiveness of mutation analysis for large-scale real-world systems has helped to identify a number of bugs in the Linux kernel. The improvements resulting from his work have been incorporated into the Linux mainline distribution with more than 2 Billion instances running worldwide from mobile phones to data centers. He is a two-time recipient of the IBM Ph.D.
fellowship, and his current research is funded by IBM. More info about him can be found at:
http://www.iftekharahmed.info

Past Colloquia

Greg P. Carman
Monday, February 29, 2016 - 4:00pm to 4:50pm
Petros Maragos
Monday, February 22, 2016 - 4:00pm to 4:50pm
Nitin Vaidya
Friday, February 12, 2016 - 4:00pm to 4:50pm
Luc De Raedt
Monday, February 8, 2016 - 4:00pm to 4:50pm
Jonathan Lee
Monday, February 1, 2016 - 4:00pm to 4:50pm
Ronan Le Bras
Monday, January 11, 2016 - 2:00pm to 3:00pm
Vicki Hanson
Monday, November 30, 2015 - 4:00pm to 4:50pm
Bethanie Stadler
Thursday, November 19, 2015 - 3:00pm to 3:50pm
Fuxin Li
Monday, November 16, 2015 - 4:00pm to 4:50pm
Xiaohang Li
Monday, October 26, 2015 - 4:00pm to 4:50pm

Pages