The Pacific Northwest Programming Languages and Software Engineering (PNW PLSE) workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. Meetings 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.

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