(opens in new tab)<\/span><\/a><\/p>\nWelcome and Introductions
\nSpeakers: Ben Zorn, Tom Ball, and Zach Tatlock <\/p>\n
Talk Title: Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation
\nSpeakers: John Toman and Dan Grossman<\/p>\n
Talk Title: The Time for Proof Reuse is Now!
\nSpeakers: Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman<\/p>\n
Talk Title: Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices
\nSpeakers: Max Willsey, Luis Ceze, and Karin Strauss<\/p>\n
Talk Title: Inferring Likely Distributed System State Invariant
\nSpeakers: Stewart Grant, and Ivan Beschastnikh<\/p>\n","protected":false},"excerpt":{"rendered":"
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 […]<\/p>\n","protected":false},"featured_media":492371,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"footnotes":""},"research-area":[13545,13560],"msr-video-type":[],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-492101","msr-video","type-msr-video","status-publish","has-post-thumbnail","hentry","msr-research-area-human-language-technologies","msr-research-area-programming-languages-software-engineering","msr-locale-en_us"],"msr_download_urls":"","msr_external_url":"https:\/\/youtu.be\/HJtvzyaGgGQ","msr_secondary_video_url":"","msr_video_file":"","_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/492101"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-video"}],"version-history":[{"count":5,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/492101\/revisions"}],"predecessor-version":[{"id":492380,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video\/492101\/revisions\/492380"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/492371"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=492101"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=492101"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=492101"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=492101"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=492101"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=492101"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}