Practical aggregation of semantical program properties for machine learning based optimization.

Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, Ari Freund

Browse the full CASES paper archive.