PNW PLSE 2024

The PNW PLSE 2024 Workshop will meet on Tuesday, May 7th at the 4th floor Zillow Commons at the Bill & Melinda Gates Center for Computer Science & Engineering Click here for travel info, directions to campus, and lodging.

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:30 - 10:20: Welcome & Poster Session

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

10:20 - 10:30: Opening Remarks

Zach Tatlock, University of Washington

10:30 - 12:00: Talks

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

12:00 - 13:00: Lunch

13:00 - 14:30: Talks

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

14:30 - 15:00: Break and Poster Session

15:00 - 16:45: Lightning Talks

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.

17:00: Wrap-up

Feel free to join us on the Ave for a social hangout!