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

Опубликовано 29 мая 2018, 23:01

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 pnwplse.org

Talk Title: Helping Designers Explore the Space of Layout Variations with Constraints
Speakers: Amanda Swearngin, Andrew 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