Sign in

Making numerical program analysis fast.

Gagandeep SinghMarkus PüschelMartin T. Vechev
Published in: PLDI (2015)
Keyphrases
  • neural network
  • data mining
  • case study
  • sensitivity analysis