Practical aggregation of semantical program properties for machine learning based optimizationMircea NamolaruAlbert Cohenet al.2010CASES 2010