PNW PLSE 2018

Schedule

Full video for each session can be found below the session section, youtube links open to the time that specific talk starts, and slides are linked in session title.

Session 1 (Slides)

Welcome and Introductions from Ben Zorn, Tom Ball, and Zach Tatlock

John Toman and Dan Grossman on Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation. (youtube link for talk)

Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman on The Time for Proof Reuse is Now! (youtube link for talk)

Max Willsey, Luis Ceze, and Karin Strauss on Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices. (youtube link for talk)

Stewart Grant, and Ivan Beschastnikh on Inferring Likely Distributed System State Invariant. (youtube link for talk)

Session 2 (Slides)

Amanda Swearngin, Andrew J. Ko, James Fogarty on Helping Designers Explore the Space of Layout Variations with Constraints. (youtube link for talk)

Julien Gascon-Samson, Kumseok Jung, and Karthik Pattabiraman on Platform-Independent Migration of Stateful JavaScript IoT Applications. (youtube link for talk)

Matthew Do, Renato Mascarenhas, Brandon Zhang, Finn Hackett, Stewart Grant, and Ivan Beschastnikh on Compiling Distributed System Specifications into Implementations. (youtube link for talk)

René Just and Michael Ernst on What bugs and tests should we use in experiments? (youtube link for talk)

Pavel Panchekha, Adam Geller, Michael D. Ernst, Shoaib Kamil, and Zachary Tatlock on Verifying Web Pages. (youtube link for talk)

Session 3 (Slides)

Jonathan Protzenko on Project Everest: Theory meets Reality.

Session 4 (Slides)

Mike Dodds Featured Talk on Continuously Integrated Verified Cryptography. (youtube link for talk)

Sarah Chasins and Ras Bodik on Helena: A Web Automation Language for End Users. (youtube link for talk)

Bill Zorn and Dan Grossman on Sinking Point. (youtube link for talk)

Stuart Pernsteiner, Eric Mullen, James R. Wilcox, Zachary Tatlock, and Dan Grossman on Verified Extraction with Native Types. (youtube link for talk)

Lightning Talk Session

Session 5 (Slides)

Eric Walkingshaw Featured Talk on Why Not Both? Applications of Variational Programming. (youtube link for talk)

Brad Chamberlain on Chapel Comes of Age: Productive Parallelism at Scale. (youtube link for talk)

John Leo on Musical Ornaments. (youtube link for talk)