POPL 2017
Sun 15 - Sat 21 January 2017

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

Title
John Hughes (Quviq/Chalmers) Properties in practice: lessons from ten years of QuickCheck
PiP
Andrew Kennedy (Facebook) Static type checking for PHP
PiP
Byron Cook (Amazon) Automated Reasoning about AWS
PiP
Christopher Pulte/Kathryn Gray (Cambridge) REMS machine models
PiP
Discussion: Methods and Tools for large-scale semantics
PiP
Jean-Louis Colaco (Ansys - Esterel Technologies) A brief history of the Scade language
PiP
Peter Sewell (Cambridge) REMS Short Introduction
PiP
Philippa Gardner (Imperial) An Infrastructure for Tractable Verification of JavaScript Programs
PiP
Simon Moore (Cambridge) Experiences of Formal Modelling in the CHERI Computer Architecture Research Project
PiP
Stephen Kell/Dominic Mulligan (Cambridge) ELF linking: what it means and why it matters
PiP
Steve Zdancewic (U.Penn) Vellvm2: Semantics and Verification for LLVM
PiP
Welcome
PiP

/

You're viewing the program in a time zone which is different from your device's time zone - change time zone