Turn it up to Eleven - The Role of Automated Static Verification in Agile CI
Dr Roderick Chapman, Director, Protean Code Limited, Visiting Professor, University of York
Any Continuous Integration (CI) pipeline includes some basic forms of static verification. For example, your compiler might reject your code owing to a simple type-checking failure. This talk will present a tour of automated static verification, from basic "broken windows" like style checking and compiler warnings, through advanced analyses such as model-checking and theorem proving, and on to non-functional issues such as memory usage and timing. We'll also look at the types of automated checking done at enormous scale by organisations like Facebook and Google, and how these ideas can be used to tackle the challenges of building embedded systems.
Rod Chapman is a Principal Engineer in the Intelligent Systems Expertise Centre of Altran UK. He specializes in the design, implementation and verification of high-integrity software.
For many years, Rod led the programming language and software verification research group at Altran, and has more recently led Altran's efforts to merge the best of the Lean, Agile and Formal development approaches to form a single coherent whole.
He is a regular and renowned speaker on these topics, and is a Fellow of both the BCS and the IET.