This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Gillian: a Multi-language Platform for Compositional Symbolic Analysisby | Philippa Gardner - Professor in the Department of Computing at Imperial College London ABSTRACT This talk will give a general introduction to Gillian, a multi-language platform for symbolic program analysis being developed by my team at Imperial College London. Gillian currently supports three types of analysis: whole-program symbolic testing; full verification based on separation logic; and automatic compositional testing based on a technique called bi-abduction. It uses a core symbolic execution engine with strong mathematical foundations that unifies bug catching and verification. So far, we have instantiated Gillian to JavaScript and C. These instantiations have already been successfully applied to real-world code: to find bugs in the data-structure libraries Buckets.js and Collections-C, to find bugs and prove bounded correctness results for a jQuery-like library, cash, and to verify the deserialisation function of the AWS Encryption SDK messaging system. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw