Solidifying the Software Foundations

Speaker:  Zhendong Su – Zurich, Switzerland
Topic(s):  Software Engineering and Programming

Abstract

Software applications and technologies are built on top of foundational systems such as compilers, databases, and theorem provers. Such foundations form the trusted computing base, and fundamentally impact software quality and security. Thus, solidifying them is a critical challenge. This talk will highlight general, effective techniques, and extensive, impactful efforts on finding thousands of critical issues in widely-used compilers, database management systems, and SMT solvers. It focuses on the high-level principles and core techniques, their significant practical successes, and future opportunities and challenges.

About this Lecture

Number of Slides:  200
Duration:  60 minutes
Languages Available:  English
Last Updated: 

Request this Lecture

To request this particular lecture, please complete this online form.

Request a Tour

To request a tour with this speaker, please complete this online form.

All requests will be sent to ACM headquarters for review.