CS Faculty Candidate Colloquium
Friday **Special Time & Location** March 14 10:45 - 11:50 AM Kelley 1007 Joseph Ruthruff EECS Colloquium: Computer Science Faculty Candidate Ph.D. Candidate Department of Computer Science & Eng., University of Nebraska - Lincoln Experimental Program Analysis: A New Program Analysis Paradigm Program analysis techniques are used by software engineers to deduce and infer targeted characteristics of software systems for tasks such as testing, debugging, impact analysis, maintenance, and program comprehension. My research introduces a new form of program analysis that incorporates characteristics of formal experimentation into analyses. This talk will describe this work and the resulting program analysis paradigm: experimental program analysis. Building on an intuitive assessment of common program analysis activities as well as principles and methodologies underlying the use of experimentation in other fields, I provide definitions of experimental program analysis, illustrate them by example, and explore the applicability of experimental program analysis in various software engineering problem domains. Empirical results show that experimental program analysis techniques can provide new solutions to important program analysis problems, and improvements to existing techniques. The contributions of this work suggest that this paradigm offers a promising new direction for program analysis research. Biography Joseph R. Ruthruff is a Ph.D. candidate in Computer Science at the University of Nebraska-Lincoln, where he is a member of The Laboratory for Empirically-based Software Quality Research and Development (ESQuaReD). His dissertation work is focusing on the formalization of the experimental program analysis paradigm, and empirically investigating the applicability of this paradigm in software engineering domains. His primary research interests lie in the testing, debugging, and analysis of software systems. He is also interested in empirical software engineering, end-user programming, and human-computer interaction issues in general, particularly with respect to end-user software engineering. In 2004, he received the Master of Science in Computer Science from Oregon State University, where he conducted research to bring interactive fault localization techniques to end-user programmers as a part of the EUSES Consortium. In 2002, he received the Honors Baccalaureate of Science in Computer Science, Magna Cum Laude, with a minor in Mathematics from Oregon State University, where he conducted research into cost-cognizant test case prioritization techniques for regression testing. He has completed two internships at Google Inc. and two internships at Tektronix Inc. He is a student member of the ACM, the ACM Special Interest Group on Software Engineering, the IEEE, and the IEEE Computer Society. He is a member of the Upsilon Pi Epsilon Honors Society.
_______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
