Fuzzing Research and Practice: Advances and Open Challenges
COM1 Level 2
SR1, COM1-02-06
Abstract: In this talk, I will reflect on my experiences designing and applying various forms of fuzzing to test complex software systems. I will discuss the main strengths and weaknesses of different techniques, and their challenges in terms of detecting corner case bugs, finding functional correctness errors, keeping up with an accelerated pace of development, and integrating them in the broader software development process.
Biodata: Cristian Cadar is a Professor in the Department of Computing at Imperial College London, where he leads the Software Reliability Group (https://srg.doc.ic.ac.uk/), working on automatic techniques for increasing the reliability and security of software systems. Cristian's research has been recognised by several prestigious awards, including the IEEE TCSE New Directions Award, BCS Roger Needham Award, HVC Award, EuroSys Jochen Liedtke Award, and two test of time awards. Many of the research techniques he co-authored have been used in both academia and industry. In particular, he is maintainer and developer of the KLEE symbolic execution system, a popular system with a large user base. Cristian has a PhD in Computer Science from Stanford University, and undergraduate and Master's degrees from the Massachusetts Institute of Technology.