PNW PLSE 2026 took place on May 5th at the Bill & Melinda Gates Center for Computer Science & Engineering in Seattle, WA.
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
Opening Remarks
Formal Reasoning (Recording)
- 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 (Amazon Web Services)
- Relational change verification for networks without specifications
- Brody Franks (University of Washington)
- qstack: Compositional Full-Stack Compilation for Fault-Tolerant Quantum Programs
- Andres Paz (University of Washington)
- OmniLink: Specification-Based Trace Validation of Concurrent Systems with Substep Linearizability
- Finn Hackett (University of British Columbia)
- 30 Years of Scalable Parallel Programming: So Many Hardware Advances, So Few Broadly Adopted Programming Languages
- Brad Chamberlain (Hewlett Packard Enterprise)
- Portable and Performant Explicit Vector Programming
- Jade Abraham (Hewlett Packard Enterprise)
- Functional-but-in-place programming in Koka
- Daan Leijen (Microsoft Research)
- User-defined Analytic Functions
- Ryan Zambrotta (University of Washington)
- Flashlight: PyTorch Compiler Extensions to Accelerate Attention Variants
- Roshan Dathathri (Microsoft Research)
- Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
- Yihong Zhang (University of Washington)
- Optix: Continuous Code Optimization for Fleet-Wide Efficiency at Uber
- Farnaz Behrang (Uber Inc.)
- Efficient Extraction for Effectful E-Graphs
- Oliver Flatt (University of Washington)
Coding with Agents (Recording)
- Intent Formalization: A Grand Challenge in the age of AI Coding Agents
- Shuvendu Lahiri (Microsoft Research)
- DeepTest: Along the Path to Trustworthy Agentic Software Engineering
- Sarah Fakhoury (Microsoft Research)
- ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
- Reshabh K Sharma (University of Washington)
- Towards Guarding Against Adversarial Attacks in Policy-Aware Agentic Systems
- Cailin Winston (University of Washington)
- TBD
- Anubhav Gupta (University of British Columbia)
- Inferring Rounding Direction in Fixed-Point Arithmetic
- Chandrakana Nandi (Certora and Unversity of Washington)
- LLM-Guided Differential Fuzzing for Detecting Platform-Specific Bugs in Scientific Applications
- Manish Motwani (Oregon State University)
- InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
- Tanner Wright (University of British Columbia)
- RESTLocator: Fault Localization for Heterogeneous defects in REST API Systems
- Kausar Moshood (Oregon State University)
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!