3 papers:
CAV-2015-SebastianiT #modulo theories #named #optimisation- OptiMathSAT: A Tool for Optimization Modulo Theories (RS, PT), pp. 447–454.
ICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named #parallel- OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.
CGO-2009-MoseleyGP #compilation #named #optimisation #performance- OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.
