[TYPES/announce] PiP 2017: Principles in Practice - Call for Participation

Peter Sewell Peter.Sewell at cl.cam.ac.uk
Wed Dec 7 11:54:02 EST 2016

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
      - 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161207/b554687e/attachment.html>

More information about the Types-announce mailing list