PNW  PLSE  2023

The PNW PLSE 2023 Workshop will meet on Tuesday, May 9th at at the Paul G. Allen Center at the University of Washington! Click here for travel info, directions to campus, and lodging.

The workshop will feature talks and demonstrations of current projects, provide opportunities to get feedback on exciting new projects, and generally foster connections that strengthen our vibrant research community in the region.

Thanks everyone for making PNW PLSE 2023 a WONDERFUL event!!


9:30 - Welcome + Poster Session


Hannah Potter, University of Washington

Block-Based Environments for Programming Industrial Robots

Nico Ritschel, University of British Columbia

Pollen: A DSL-to-Hardware Compiler

Anshuman Mohan, Cornell University

Quantifying Developer Effort in Mutant Detection

Ardi Madadi, University of Washington

DSLs for Automated Data Analysis

Eunice Jun, University of Washington

10:30 - Talks

Parallel Programming with Chapel (Slides | Recording)

Brad Chamberlain, Hewlett Packard Enterprise

Generating Test Oracles with Tratto

Elliott Zackrone, University of Washington

Linear Types for Systems Verification (Slides)

Jialin Li, University of Washington

Verified Program Construction (Recording)

Shaz Qadeer, Meta

Proof Compilers (Recording)

Audrey Seo, University of Washington

Interactive Code Generation with User-Intent Formalization (Recording)

Shuvendu Lahiri, Microsoft Research 

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

Analysis and Synthesis of Musical Counterpoint (Slides)

John Leo,  Halfaya Research

Untangling Git Commits

Thomas Schweizer, University of Washington

CodaMOSA (Recording)

Caroline Lemieux, University of British Columbia

Automated Type Inference in Python (Slides | Recording)

Jifeng Wu, University of British Columbia

Lakeroad: Hardware Compilation via Program Synthesis (Slides | Recording)

Gus Smith, University of Washington

Semantic Assertions

Ashish Tiwari, Microsoft Research

Fully In-Place Functional Programming (Recording)

Daan Leijen,  Microsoft Research

Programming Abstractions for Quantum Computing (Slides | Recording)

Jennifer Paykin, Intel

Project Zeta (Recording)

Nikhil Swamy, Microsoft Research

A DSL Framework for F* (Recording)

Guido Martinez, Microsoft Research

Compiler Mitigations for Security Risks (Recording)

Alexandra Michael, University of Washington


Adam Geller, University of British Columbia

Checked C (Slides | Recording)

David Tarditi, Secure Software Development Project

14:45 - Poster Session Break

15:15 - Talks

An Anti-Capitalist, Multicultural, Accessible Programming Language (Recording)

Amy Ko, University of Washington

Code-Aware Agents for Cloud Security

Patrice Godefroid, Lacework

Live, Rich, and Composable Programming

Josh Horowitz, University of Washington

Generating High-Performance Communication Kernels (Slides | Recording)

Madan Musuvathi, Microsoft Research

Generating Formally Verified Parsers with EverParse (Slides | Recording)

Tahina Ramananandro, Microsoft Research

Rich Specifications for Ethereum Smart Contract Verification (Recording)

Alexander Summers, University of British Columbia

Verus: Verifying Rust Programs (Recording)

Chris Hawblitzel, Microsoft Research

17:00 - Wrap Up

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

Brad Chamberlain gives a talk on Chapel at PNW PLSE 2018