Add new file

_posts/2020-01-22-hase.md

+
+---
+title: Talk on Gillian, Workshop on High Assurance Systems Engineering, POPL 2020
+---
+
+Philippa was one of the speakers at the [Interactive Knowledge 
+Shares session](https://popl20.sigplan.org/details/hase-2020-papers/2/Interactive-Knowledge-Shares) 
+of this year’s [HASE, the Workshop on High Assurance Systems Engineering]( https://popl20.sigplan.org/home/hase-2020)
+
+HASE aims to forge new collaborations and initiatives which strive to provide 
+high levels of assurance about the correct operation and security properties 
+of production systems (software and hardware), part of [POPL20](https://popl20.sigplan.org)
+
+Philippa presented Gillian, a language independent framework that supports 
+compositional symbolic analysis. Gillian supports three flavours of analysis: 
+whole-program symbolic testing, full verification, and bi-abduction. It comes with 
+fully parametric meta-theoretical results and a modular implementation, designed 
+to minimise the instantiation effort required of the user. 
\ No newline at end of file