Colloquium: Barbara Ryder
Starts: November 11, 2009 at 2:00 PM
Summary
Blended Program Analysis : Combining Static and Dynamic Analyses
Full Description
A new analysis paradigm, blended program analysis, enables practical, effective analysis of large framework-intensive Java applications. Blended analysis combines a dynamic representation of program calling structure with a static analysis applied to a region of that calling structure.
The initial instantiation of the blended paradigm has addressed the issue of performance bottlenecks stemming from overuse of temporary objects; this phenomenon is called object churn and is common in these applications. A blended escape analysis, which approximates object effective lifetimes, has been designed and implemented. Experiments demonstrating its utility in explaining the usage of newly created objects in a program region have yielded promising results (ISSTA07, FSE08). A case study on the Trade benchmark shows how blended escape analysis helped to locate the single call path responsible for a performance problem involving objects created at 9 distinct sites and as far away as 6 levels of call, in a region which calls 223 distinct methods with a maximum call depth of 20.
This talk will present the blended analysis paradigm, our results on performance diagnosis, a new visualization tool to explore causes of object churn, and new experiments that have varied the context sensitivity of the analysis.
*This research has been funded by the IBM Open Collaboration Research program and NSF-CCF 0811518.
biography
Dr. Barbara G. Ryder is Head of the Department of Computer Science at Virginia Tech, where she holds the J. Byron Maupin Professorship in Engineering. She received her Ph.D degree in Computer Science at Rutgers in 1982, and served on the faculty of Rutgers from 1982-2008, She also worked in the 1970’s at AT&T Bell Laboratories in Murray Hill, NJ. Dr. Ryder’s research interests lie in static and dynamic program analyses for object-oriented systems, focusing on usage in practical software tools for ensuring the quality and security of industrial-strength applications.
Dr. Ryder became a Fellow of the ACM in 1998, received the ACM President’s Award in 2008, was selected as a CRA-W Distinguished Professor in 2004, and received the ACM SIGPLAN Distinguished Service Award in 2001. She has been an active leader in ACM (Secretary-Treasurer 2008-2010; ACM Council Member 2000-2008; General Chair, FCRC 2003; ACM SIGPLAN: Chair (1995-97), Vice Chair (1993-1995), Executive Committee Member (1989-1993)), and has served as a Member of the Board of Directors of the Computer Research Association (1998-2001). She was honored by a Graduate Teaching Award from Rutgers Graduate School in 2007, received a Leader in Diversity Award at Rutgers in 2006, and was voted Professor of the Year for Excellence in Teaching by the Rutgers Computer Science Graduate Student Society in 2003. Dr. Ryder has served as an editorial board member of ACM Transactions on Programming Languages and Systems, IEEE Transactions on Software Engineering, IEEE Software, Software, Practice and Experience and Science of Computing. She has served on many program and conference committees, especially those sponsored by ACM SIGPLAN and ACM SIGSOFT, and on many panels at mentoring workshops sponsored by CRA-W and ACM SIGSOFT.
