Karlsruhe Institute of Technology For contributions to hardware/software co-design of power and thermal efficient embedded computing Manuel V. Hermenegildo Universidad Politecnica de Madrid & IMDEA SW Institute For contributions to program analysis, verification, parallelism, logic programming, and the IMDEA...