Solidifying the Software Foundations
Speaker: Zhendong Su – Zurich, SwitzerlandTopic(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: 200Duration: 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.