The 2023 edition of PNW PLSE took place on Tuesday, May 9 at the Paul G. Allen Center for Computer Science & Engineering at the University of Washington!


9:30 - Welcome & Poster Session

10:30 - Talks

12:00 - Lunch

13:00 - Keynote: Patrick Lam

Hot Takes on Machine Learning for Program Analysis (Recording)

Unless you have been living under a rock, you have noticed the general popularity of AI/Machine Learning over the last few years. These techniques have also made their way to program analysis research. Even though I see my research as focussing on classical static analysis techniques, it turns out that I've applied Machine Learning techniques in my own work as early as 2008. This year, my students and I have done work on Rust bug classification; code representations for method name/return type prediction in WebAssembly; and formally verifying Copilot-generated code. I'll survey less-recent and more-recent applications of machine learning in program analysis, present overviews of my work, and tell you all about my opinions about what machine learning is good for in the domain of static analysis.

Bio: Patrick Lam is going on a West Coast (North America) tour this May and visiting friends and colleagues, both in the research community and otherwise. He is an Associate Professor at the University of Waterloo and is interested in software engineering applications of static analysis techniques. He is also planning to get out into the North American mountains before a visit to the Victoria University of Wellington (New Zealand) on his upcoming sabbatical. Ask him about New Zealand!

13:30 - Lightning Talks

14:45 - Poster Session Break

15:15 - Talks

17:00 - Poster Session Break

After the event, folks are welcome to walk over to the Ave near campus for informal dinner in smaller groups.