Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PiP 2017: Principles in Practice - Call for Pa...

Email Gateway (Aug 22 2022 at 14:49):

From: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
PiP 2017: Principles in Practice

Co-located with POPL 2017 <http://popl17.sigplan.org>

Saturday 21st January, 2017. Paris, France

Recent years have seen a number of 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) is
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 is a programme of invited talks, with no proceedings.

This follows the previous PiP 2014
<http://www.cl.cam.ac.uk/%7Epes20/pip2014.html> workshop.
Registration Registration is via the POPL 2017 <http://popl17.sigplan.org>
registration page. Preliminary Schedule

- 08:55 Welcome
- 09:00-10:00
- 09:00-09:30 * Andrew Kennedy* (Facebook) Static type checking for
PHP

- 09:30-10:00 * Jean-Louis Colaco * (Ansys) Scade
- 10:00-10:30 coffee break
- 10:30-12:05 REMS session
- 10:30-10:35 Peter Sewell (Cambridge) REMS Short Introduction
- 10:35-11:05 Simon Moore (Cambridge) Experiences of Formal
Modelling in the CHERI Computer Architecture Research Project

- 11:05-11:35 * Stephen Kell/Dominic Mulligan* (Cambridge) ELF
linking: what it means and why it matters

- 11:35-12:05* Philippa Gardner* (Imperial) Towards Tractable
Verification of JavaScript Programs

- 12:05-14:00 lunch
- 14:00-15:30
- 14:00-14:30 * John Hughes* (Quviq/Chalmers) Properties in practice:
lessons from ten years of QuickCheck

- 14:30-15:00 * Byron Cook* (Amazon) Automated Reasoning about AWS
- 15:00-15:30 * Steve Zdancewic* (U.Penn) Vellvm2: Semantics and
Verification for LLVM
15:30-16:00 coffee break

- 16:00-17:30
- 16:00-16:30 Christopher Pulte/Kathryn Gray (Cambridge) REMS
machine models

- 16:30-17:30 Discussion session Methods and Tools for large-scale
semantics

Last updated: Apr 24 2024 at 08:20 UTC