Area: Computer Architecture and Technology

Doctor by the Universidad de Valladolid with the thesis Compile-time support for thread-level speculation 2014. Supervised by Dr. Diego R. Llanos.