Constant evolution is an inherent property of modern software systems. Software evolves to implement new features, adapt to new hardware and platforms, fix bugs and security vulnerabilities, or improve non-functional properties such as performance and energy consumption. While these changes have an overall positive impact, they are also responsible for a large number of critical bugs and security attacks.
Program analysis techniques such as fuzzing and symbolic execution have shown great promise in terms of improving the reliability and security of software. However, program analysis techniques are typically designed to be applied to entire programs and can struggle to keep up with the high pace of modern software development. In this talk, I will discuss some of our research efforts directed toward making program analysis more agile, and reflect on remaining challenges and opportunities.
Bio:
Cristian Cadar is a Professor in the Department of Computing at Imperial College London, where he leads the Software Reliability Group (http://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 EuroSys Jochen Liedtke Award, HVC Award, BCS Roger Needham Award, IEEE TCSE New Directions Award, Humboldt Research Award, and two test of time awards. Many of the research techniques he co-authored have been open-sourced and used in both academia and industry. In particular, he is co-author and maintainer 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.
The event will be hosted by both Sven Apel (Saarland University) and Andreas Zeller (CISPA).
Date and Time:
Thursday, June 12, at 2 pm CEST.
Location:
The talk will take place in-person at CISPA C0 Main Building, room 0.01 (Stuhlsatzenhaus 5, 66123 Saarbruecken)