Abstract
A new analysis paradigm, blended program analysis, combines a dynamic representation of program calling structure with a static analysis applied to a region of that calling structure. Traditionally, compilers have used static analysis to enable semantics-preserving program transformations. Blended analysis supports tool-building to aid software developers improve the performance and reliability of their applications.
The initial instantiation of the blended paradigm addressed the issue of performance bottlenecks stemming from overuse of temporary objects in Java framework-intensive programs; this phenomenon is called object churn and is common in these applications. On the Trade benchmark, the approach helped locate 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. A newer instantiation is being used to find potential security vulnerabilities in JavaScript codes from popular websites.
This talk will present the blended analysis paradigm and the results of the speaker’s research group using it on Java and JavaScript codes.
About the speaker
Prof Barbara Ryder received her PhD in Computer Science from Rutgers, The State University of New Jersey in 1982, where she also served on the faculty from 1982 to 2008. She joined the Virginia Polytechnic Institute and State University in 2008, where she is currently Head of the Department of Computer Science and J. Byron Maupin Professor in Engineering.
Prof 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.
Prof Ryder became a Fellow of the Association for Computing Machinery (ACM) in 1998 and was selected as a CRA-W Distinguished Professor in 2004. She received awards including the ACM President’s Award and the ACM SIGPLAN Distinguished Service Award. She has been an active leader in ACM (Vice President 2010-2012, Secretary-Treasurer 2008-2010, ACM Council 2000-2008, General Chair, FCRC 2003, Chair ACM SIGPLAN (1995-97)) and has served as a Member of the Board of Directors of the Computer Research Association (1998-2001). At Rutgers, she received the Graduate School Teaching Award, Leader in Diversity Award and Professor of the Year Award for Excellence in Teaching from the Rutgers Computer Science Graduate Students Society. She is a leader in activities sponsored by the National Center for Women in Information Technology (NCWIT), an organization aimed at attracting more women and minorities into computing. Prof Ryder has served as an editorial board member of ACM Transactions on Programming Languages and Systems, Institute of Electrical and Electronics Engineers (IEEE) Transactions on Software Engineering, IEEE Software, Software, Practice and Experience and is currently serving on ACM Transactions on Software Engineering Methodology and Science of Computer Programming.
|
