Philippa gave a talk entitled An Infrastructure for Tractable Verification of JavaScript Programs at this year’s Principles in Practice workshop (PiP).

The workshop, co-located with POPL 2017 brings together researchers involved in applying rigorous semantics to the analysis or design of industrially significant real-world languages and systems, in developing and using semantics at scale and in the wide range of testing, analysis, and proof-based techniques.