Program Analysis for Safe and Secure Software Evolution

Learn how to analyze and ensure the safety and security of your software as it evolves at our event! Lunch will be provided.

CREATE Tower

About the seminar:Constant evolution is an inherent property of modern software systems. Software evolves to implement new features, adapt to new hardware andplatforms, 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 present some of our recent research in making program analysis more agile and reflect on remaining challenges and opportunities.About the speaker:Cristian Cadar is a Professor in the Department of Computing at Imperial College London, where he leads the Software Reliability Group (<a href="http://srg.doc.ic.ac.uk/" title="http://srg.doc.ic.ac.uk/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">http://srg.doc.ic.ac.uk</a>) , 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, 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.

Agenda

Talk by Prof. Cristian Cadar

Lunch and Networking

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Program Analysis for Safe and Secure Software Evolution

More events from this organizer

Follow organizers to get events picked for you

Program Analysis for Safe and Secure Software Evolution

More events from this organizer

Follow organizers to get events picked for you

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.