From beec835221b4750b4137bee04d8b7461d3e71bf9 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 30 Jan 2020 11:56:16 +0000 Subject: [PATCH] Add new file --- _posts/2020-01-22-hase.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 _posts/2020-01-22-hase.md diff --git a/_posts/2020-01-22-hase.md b/_posts/2020-01-22-hase.md new file mode 100644 index 0000000..ee2a07b --- /dev/null +++ b/_posts/2020-01-22-hase.md @@ -0,0 +1,18 @@ + +--- +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 -- GitLab