Saturday 21st January, 2017. Paris, France
Recent years have seen a number research projects applying rigorous semantics to the analysis or design of industrially significant real-world languages and systems, in various contexts. Principles in Practice (PiP) will be an informal workshop bringing together researchers to discuss the issues involved in engaging with the various industrial communities, in developing and using semantics at scale, in handling pre-existing systems complexity, and in the wide range of testing, analysis, and proof-based techniques that can be applied. There will be a programme of invited talks, with no proceedings.
This follows the previous PiP 2014 workshop.
Registration
Registration is via the POPL 2017 registration page.
Sponsors
PiP 2017 is sponsored by the EPSRC REMS project: Rigorous Engineering for Mainstream Systems.
Talks
/
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:55 - 09:00 | |||
08:55 5mTalk | Welcome PiP | ||
09:00 - 10:00 | |||
09:00 30mTalk | Andrew Kennedy (Facebook) Static type checking for PHP PiP | ||
09:30 30mTalk | Jean-Louis Colaco (Ansys - Esterel Technologies) A brief history of the Scade language PiP | ||
14:00 - 15:30 | |||
14:00 30mTalk | John Hughes (Quviq/Chalmers) Properties in practice: lessons from ten years of QuickCheck PiP | ||
14:30 30mTalk | Byron Cook (Amazon) Automated Reasoning about AWS PiP | ||
15:00 30mTalk | Steve Zdancewic (U.Penn) Vellvm2: Semantics and Verification for LLVM PiP | ||
16:00 - 18:00 | |||
16:00 30mTalk | Christopher Pulte/Kathryn Gray (Cambridge) REMS machine models PiP | ||
16:30 60mTalk | Discussion: Methods and Tools for large-scale semantics PiP | ||
