Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 PiP 2014 Workshop
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.
Speakers
Peter Sewell, Introduction and REMS project (10 minutes)
Andrew Kennedy / Nick Benton, Formalizing .EXEs, .DLLs, and all that
Benjamin Pierce, Verification and random testing of the SAFE architecture
Daniel Kroening, Automated test-suite generation for automotive applications
Gang Tan / Greg Morrisett, Reusable tools for formal modeling of machine code
Konrad Slind (Rockwell Collins), Industrial verification considered as a helix of semi-precious stones
Michael Norrish, Ad hoc C: reflections on pragmatic semantics
Sergio Maffeis, Formal, executable semantics of web languages: JavaScript and PHP
Shriram Krishnamurthi, Programming Language Semantics as Natural Science: The Peculiar, Evolving, and Barely Consummated Relationship Between Semantics and Scripting Languages
Xavier Leroy, How much is a mechanized proof worth, certification-wise?
Zhong Shao, Advanced Development of Certified OS Kernels