PiP 2014: Principles in Practice
Co-located with POPL 2014
Saturday 25 January, 2014. San Diego, California, USA
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.
Registration
Registration is via the
POPL 2014 registration
page.
PiP 2014 is not an ACM-sponsored meeting, so if you plan to attend,
please register specifically for PiP. Breakfast and breaks will be
included, but not lunch.
Schedule
- 7:30am - 8.20am Breakfast
- 8.20am - 8.30am Peter Sewell, Introduction [slides]
- 8.30am - 9.00am Andrew Kennedy, Formalizing .EXEs, .DLLs, and all that [slides]
- 9.00am - 9.30am Gang Tan, Reusable tools for formal modeling of machine code [slides]
- 9.30am - 10.00am Michael Norrish, Ad hoc C: reflections on pragmatic semantics [slides]
- 10.00am - 10.30am Break
- 10.30am - 11.00am Daniel Kroening, Automated test-suite generation for automotive applications
- 11.00am - 11.30am Konrad Slind (Rockwell Collins), Industrial verification considered as a helix of semi-precious stones [slides]
- 11.30am - 12.00pm Xavier Leroy, How much is a mechanized proof worth, certification-wise? [slides]
- 12.00pm - 2.00pm Lunch
- 2.00pm - 2.30pm Sergio Maffeis, Formal, executable semantics of web languages: JavaScript and PHP [slides]
- 2.30pm - 3.00pm Shriram Krishnamurthi, Programming Language Semantics as Natural Science: The Peculiar, Evolving, and Barely Consummated Relationship Between Semantics and Scripting Languages
[slides]
- 3.00pm - 3.30pm Break
- 3.30pm - 4.00pm Benjamin Pierce, Verification and random testing of the SAFE architecture [slides]
- 4.00pm - 4.30pm Zhong Shao, Advanced Development of Certified OS Kernels
Organisers
Sponsors
PiP 2014 is sponsored by the
EPSRC REMS project:
Rigorous Engineering for Mainstream Systems.
[Validate this page.]