Invited Talk: The Story of WALA at Watson and Beyond
I have been at the IBM Thomas J. Watson Research Center for over 17 years, ever since graduate school. To give you a sense of what that is like, I shall first give a little background about the range of work I have been able to do there, and then I shall tell the story of WALA, our program analysis framework. I will describe its origins and early use in WebSphere and Rational products, and then how WALA embraced JavaScript. Next, WALA became an open source project, and I talk about that process. And I shall present how WALA became involved in security analysis for AppScan products. And finally I will sketch how WALA has grown, taking several large contributions from academia that have greatly expanded its scope. In all this work, there has been an interplay between research, the needs of IBM products, and the contributors to the open source project; I shall try to illustrate how this creative tension has helped make WALA what is.
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 30mTalk | Invited Talk: The Story of WALA at Watson and Beyond ECOOP Doctoral Symposium Julian Dolby IBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium | ||
12:00 30mTalk | Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium |