If you're interested in getting involved with the next PNW PLSE, please join our mailing list!

PNW PLSE 2025 took place on May 7th at Uber Engineering in Seattle, WA.

Schedule

9:00 - 10:00: Check-in & Posters

10:00 - 10:15: Welcome

10:15 - 11:00: Talks

• Agent Verification, Testing, and Validation (Recording)
  • Madan Musuvathi, Microsoft Research
• A Taxonomy of Failures in Tool-Augmented LLMs (Recording)
  • Cailin Winston, University of Washington
• Clarification-Aware Code Generation: Benchmarking and Techniques for Enhancing LLM Communication (Recording)
  • Jie Wu, University of British Columbia

11:00 - 11:15: Break

11:15 - 12:00: Talks

• Verifying High-Assurance C - Problems and Pathways (Recording)
  • Mike Dodds, Galois, Inc
• Algebraic Semantics for Machine Knitting (Recording)
  • Nat Hurtig, University of Washington
• Micro:bit Apps -- Expanding the Scope of Physical Computing (Recording)
  • Thomas Ball, University of Washington

12:00 - 13:15: Lunch & Posters

13:15 - 14:15: Talks

• AutoClean: Feature Flag cleanup at Uber (Recording)
  • Yuxin Wang, Uber Technologies Inc.
• MSCCL++: Rethinking GPU Communication Abstractions for Cutting-edge AI Applications (Recording)
  • Roshan Dathathri, Microsoft Research
• The Secret Sauce of Vendor-Neutral GPU Programming (Recording)
  • Jade Abraham, HPE
• RPCShield: Detecting Cross-Tier Fail-Close Dependencies in Large Microservice Architectures (Recording)
  • Sonal Mahajan and Ivan Beschastnikh, Uber Technologies, Inc.

14:15 - 14:45: Break & Group Photo

14:45 - 15:30: Talks

• PromptPex: Automatic Test Generation for Language Model Prompts (Recording)
  • Reshabh K Sharma, University of Washington; MSR
• DR.FIX: Automatically Fixing Data Races at Industry Scale (Recording)
  • Farnaz Behrang, Uber
• GOLF: Dynamic Partial Deadlock Detection and Recovery via Garbage Collection (Recording)
  • Milind Chabbi, Uber, Programming Systems Group

15:30 - 15:45: Break

15:45 - 17:00: Lightning talks

• Number of solutions to constraint satisfaction problems (Recording)
  • Magdalena Zlatanova, Simon Fraser University
• The Tale of Errors in Microservices (Recording)
  • Chris Zhang, Uber Technologies Inc.
• IoLab: Reproducible, In-Order Computational Notebooks in JupyterLab (Recording)
  • Eleftheria Beres, University of Washington
• Updates on Lakeroad and Churchroad (Recording)
  • Gus Smith, formerly University of Washington
• Automating Trace Validation with PGo (Recording)
  • Finn Hackett, University of British Columbia
• Compiling Neural Networks with Dynamic Programming & Spatial Compression (Recording)
  • Sam Kaufman, University of Washington
• Logics for immutable heaps (Recording)
  • Mark Pock, University of Washington
• Freer Arrows (Recording)
  • Grant VanDomelen, Portland State University
• B3: A next-generation intermediate verification language (Recording)
  • Rustan Leino, Amazon
• What Lazy Semantics am I today? (Recording)
  • Nicholas Coltharp

17:00: Wrap up