Microsoft Research333 тыс
Опубликовано 24 июня 2018, 22:43
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
Welcome and Introductions
Speakers: Ben Zorn, Tom Ball, and Zach Tatlock
Talk Title: Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation
Speakers: John Toman and Dan Grossman
Talk Title: The Time for Proof Reuse is Now!
Speakers: Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman
Talk Title: Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices
Speakers: Max Willsey, Luis Ceze, and Karin Strauss
Talk Title: Inferring Likely Distributed System State Invariant
Speakers: Stewart Grant, and Ivan Beschastnikh
See more at microsoft.com/en-us/research/v...
For more info please visit pnwplse.org
Welcome and Introductions
Speakers: Ben Zorn, Tom Ball, and Zach Tatlock
Talk Title: Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation
Speakers: John Toman and Dan Grossman
Talk Title: The Time for Proof Reuse is Now!
Speakers: Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman
Talk Title: Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices
Speakers: Max Willsey, Luis Ceze, and Karin Strauss
Talk Title: Inferring Likely Distributed System State Invariant
Speakers: Stewart Grant, and Ivan Beschastnikh
See more at microsoft.com/en-us/research/v...
Свежие видео
Случайные видео