PNW PLSE 2018

Welcome and introductions from Ben Zorn, Tom Ball, and Zach Tatlock.

Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation (Recording)
- John Toman and Dan Grossman
The Time for Proof Reuse is Now! (Recording)
- Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman
Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices (Recording)
- Max Willsey, Luis Ceze, and Karin Strauss
Inferring Likely Distributed System State Invariant (Recording)
- Stewart Grant and Ivan Beschastnikh

Helping Designers Explore the Space of Layout Variations with Constraints (Recording)
- Amanda Swearngin, Amy J. Ko, and James Fogarty
Platform-Independent Migration of Stateful JavaScript IoT Applications (Recording)
- Julien Gascon-Samson, Kumseok Jung, and Karthik Pattabiraman
Compiling Distributed Systems (Recording)
- Matthew Do, Renato Mascarenhas, Brandon Zhang, Finn Hackett, Stewart Grant, and Ivan Beschastnikh
What bugs and tests should we use in experiments? (Recording)
- René Just and Michael D. Ernst
Verifying Web Pages (Recording)
- Pavel Pancheckha, Adam Geller, Michael D. Ernst, Shoaib Kamil, and Zachary Tatlock

Continuously Integrated Verified Cryptography (Recording)
- Mike Dodds - featured talk
Helena: A Web Automation Language for End Users (Recording)
- Sarah Chasins and Ras Bodik
Sinking Point (Recording)
- Bill Zorn and Dan Grossman
Verified Extraction with Native Types (Recording)
- Stuart Pernsteiner, Eric Mullen, James R. Wilcox, Zachary Tatlock, and Dan Grossman

Why Not Both? Applications of Variational Programming (Recording)
- Eric Walkingshaw - featured talk
Chapel Comes of Age: Productive Parallelism at Scale (Recording)
- Brad Chamberlain
Musical Ornaments (Recording)
- John Leo