Programmers and researchers are increasingly developing surrogates of programs, models
of a subset of the observable behavior of a given program, to solve a variety of software …

A $\textit {neural surrogate of a program} $ is a neural network that mimics the behavior of a
program. Researchers have used these neural surrogates to automatically tune program …

Modeling tasks often take inputs from languages including programming languages and
natural language. Many such tasks involve learning functions which are invariant to certain …

Software now plays a central role in numerous aspects of human society. Current software
development practices involve significant developer effort in all phases of the software life …

Abstract Interpretation is a popular technique for formally analyzing the properties of
programs, neural networks, and complex real-world systems. However, designing efficient …

Programmers and researchers are increasingly developing surrogates of programs, models
of a subset of the observable behavior of a given program, to solve a variety of software …