PNW PLSE 2024

Sentiment and Topics in Code Generation Tools: A Cross Platform Analysis
- Manaal Basha, University of British Columbia
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
- Laura Israel and Nicholas Coltharp, Portland State University
FunC: Extracting a Functional Subset from C Programs
- Ian Kariniemi and Grant VanDomelen, Portland State University
Exploratory Study of Novice Software Developers Using Generative AI for Software Development
- Marie Salomon, University of British Columbia
vectorizationGPT: LLM-driven Safe Compiler Optimizations
- Jubi Taneja, Microsoft Research
Computational Illusion Knitting
- Amy Zhu, University of Washington
Concolic Execution in Rust
- Steve Ko, Simon Fraser University

Towards Correctness Assure Hardware and Software Codesign of Accelerators (Recording)
- Jin Yang, Intel Labs
FPGA Technology Mapping Using Sketch-Guided Program Synthesis (Slides | Recording)
- Gus Smith, University of Washington
SpEQ: Translation of Sparse Codes using Equivalences (Slides | Recording)
- Avery Laird, University of Toronto
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Recording)
- Rui Ge, University of British Columbia
The Origins and Design Choices Behind Verus (Slides | Recording)
- Jon Howell, VMWare Research Group

Breaking Boundaries: The Power of Parameter Efficient Fine Tuning and Agent-LLMs in Knowledge Transfer for Code Intelligence (Slides | Recording)
- Fatemah Fard, University of British Columbia
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming in F* (Slides | Recording)
- Gabriel Ebner, Microsoft Research
Synthesizing RISC-V Vector Code with Grisette (Recording)
- Sirui Lu, University of Washington
GenAIScript (Recording)
- Ben Zorn, Microsoft
Promises and Challenges in Bridging TLA+ Designs with Implementations (Slides | Recording)
- Finn Hackett, University of British Columbia
User Intent Formalization Problem for Programs (Slides | Recording)
- Shuvendu Lahiri, Microsoft Research

3DGen: AI-assisted Generation of Verified Parsers (Slides)
- Sarah Fakhoury, Microsoft Research
The Quantum Virtual Machine (Slides | Recording)
- Andres Paz, University of Washington
Revealing Software Development Work Patterns with PR-Issue Graphs (Slides | Recording)
- Ivan Beschastnikh, University of British Columbia
Type Universes and Heaps? You Won't Believe What They Have in Common! (Slides | Recording)
- Paulette Koronkevich, University of British Columbia
Concolic Execution for Rust & Verifying a Bluetooth Stack with Dafny (Recording)
- Steve Ko, Simon Fraser University
Vulnerability Management 2.0 (Slides | Recording)
- Patrice Godefroid, Lacework
AICI: Programmatic Control of LLM Text Generation (Recording)
- Michal Moskal, Microsoft Research
Aggregated vs non-aggregated Communication in Distributed Computing Settings (Slides | Recording)
- Brad Chamberlain, Hewlett Packard Enterprise (HPE)
CacheSynth: Let's Make Rosette Reverse Engineer a CPU Cache (Recording)
- Alexandra Michael, University of Washington
Semantic Data Fabric (Slides)
- Wolfram Schulte, SDF labs
Better Together: Unifying Datalog and Equality Saturation (Recording)
- Yihong Zhang, University of Washington
vectorizationGPT: LLM-driven safe compiler optimizations (Recording)
- Jubi Taneja, Microsoft Research
To AI or Not To AI: Reflections on Combining GenAI with PL at Uber
- Shauvik Roy Choudhary and Stefan Heule, Uber Inc.