Write a Blog >>
Sun 18 Jun 2017 11:00 - 11:30 at Vertex WS208 - Session 2

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 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
30m
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian Dolby IBM Thomas J. Watson Research Center
11:30
30m
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00
30m
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium