Simplifying Multiple-Statement Reductions with the Polyhedral Model.

Cambridge Yang Eric Atkinson Michael Carbin

Published in: CoRR (2020)

Keyphrases

formal model
website
similarity measure
high level
experimental data
probabilistic model
theoretical analysis
mathematical model
statistical model
parameter values
database
neural network
prior knowledge
hidden markov models
theoretical framework
process model