PNW PLSE 2026

PNW PLSE 2026 is happening on May 5, 2026 at the Bill & Melinda Gates Center for Computer Science & Engineering!

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

10:00 - 11:00: Formal Reasoning

• An assembler and simulator for Trainium in Lean / Toward a formally correct simulator, assembler, and verifier for the Trainium AI accelerator in Lean
  • Sean McLaughlin
• Relational change verification for networks without specifications
  • Brody Franks
• qstack: Compositional Full-Stack Compilation for Fault-Tolerant Quantum Programs
  • Andres Paz
• OmniLink: Specification-Based Trace Validation of Concurrent Systems with Substep Linearizability
  • Finn Hackett

11:15 - 12:15: Performance

• 30 Years of Scalable Parallel Programming: So Many Hardware Advances, So Few Broadly Adopted Programming Languages
  • Brad Chamberlain
• Portable and Performant Explicit Vector Programming
  • Jade Abraham
• Functional-but-in-place programming in Koka
  • Daan Leijen
• User-defined Analytic Functions
  • Ryan Zambrotta

1:15 - 2:15: Optimization

• Flashlight: PyTorch Compiler Extensions to Accelerate Attention Variants
  • Roshan Dathathri
• Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
  • Yihong Zhang
• Optix: Continuous Code Optimization for Fleet-Wide Efficiency at Uber
  • Farnaz Behrang
• TBD
  • Oliver Flatt

2:30 - 3:45: Coding with Agents

• Intent Formalization: A Grand Challenge in the age of AI Coding Agents
  • Shuvendu Lahiri
• DeepTest: Along the Path to Trustworthy Agentic Software Engineering
  • Sarah Fakhoury
• ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
  • Reshabh K Sharma
• Towards Guarding Against Adversarial Attacks in Policy-Aware Agentic Systems
  • Cailin Winston
• TBD
  • Anubhav Gupta

4:00 - 4:45: Bugs

• LLM-Guided Differential Fuzzing for Detecting Platform-Specific Bugs in Scientific Applications
  • Manish Motwani
• Inferring Rounding Direction in Fixed-Point Arithmetic
  • Chandrakana Nandi
• InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
  • Tanner Wright
• RESTLocator: Fault Localization for Heterogeneous defects in REST API Systems
  • Kausar Moshood

5:30: Social Mingling

Though our official program ends at 4:45pm, please feel free to join us at Big Time Brewery and Alehouse on the Ave for informal drinks, food, and banter!