Confpkeir_haifa_compilers_architectures_tools.pdf