PNW PLSE Workshop: Helping Designers Explore the Space of Layout Variations with Constraints

The 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. The meeting on May 14, 2018, at the Microsoft Research campus in Redmond, WA, 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.

For more info please visit http://pnwplse.org/ (opens in new tab)

Talk Title: Helping Designers Explore the Space of Layout Variations with Constraints
Speakers: Amanda Swearngin, Amy J. Ko, James Fogarty

Talk Title: Platform-Independent Migration of Stateful JavaScript IoT Applications
Speakers: Julien Gascon-Samson, Kumseok Jung, and Karthik Pattabiraman

Talk Title: Compiling Distributed System Specifications into Implementations
Speakers: Matthew Do, Renato Mascarenhas, Brandon Zhang, Finn Hackett, Stewart Grant, and Ivan Beschastnikh

Talk Title: What bugs and tests should we use in experiments?
Speakers: René Just

Talk Title: Verifying Web Pages
Speakers: Pavel Panchekha, Adam Geller, Michael D. Ernst, Shoaib Kamil, and Zachary Tatlock

日期：

2018年5月14日

演讲者：

Amanda Swearngin, Julien Gascon-Samson, Renato Mascarenhas, Michael D. Ernst, Pavel Panchekha

所属机构：

University of Washington