Machine Programming & Data-Driven Dependable and Secure Software Systems - Justin Gottschlich
Workshop on Dependable and Safe Software Systems 2021
In this talk, we discuss machine programming (MP), which is principally aimed at the automation of software development. We discuss how our research team at Intel Labs, Machine Programming Research, is working toward new ways to automatically develop software based on two key tenets: (i) improving software developer productivity and (ii) improving software quality (e.g., correctness, performance, security, etc.). We discuss MP across three pillars: intention, invention, and adaptation. We also discuss the criticality of data for dependable and secure MP systems, which we believe is foundational to all MP systems. We close with some recent MP systems that we have built that have demonstrated state-of-the-art performance in code semantics similarity, security debugging, and optimization.