Finding typing compiler bugs.

Stefanos Chaliasos Thodoris Sotiropoulos Diomidis Spinellis Arthur Gervais Benjamin Livshits Dimitris Mitropoulos

Published in: PLDI (2022)

Keyphrases

software systems
artificial intelligence
general purpose
real time
data sets
data mining
programming language
source code
databases
neural network
real world
multi agent
evolutionary algorithm
operating system
method finds
distributed memory machines