I am interested in programming languages and combinatorial optimization. Currently I am studying the application of constraint programming to compiler optimization in the Unison project. My main supervisor is Christian Schulte, and my co-supervisors are Ingo Sander and Mats Carlsson. Another area of interest is everything that attempts to make software more reliable, from formal verification to test automation.
Unison demo: check our demo of Unison! Unison is a tool that performs optimal register allocation and instruction scheduling with constraint programming. The background of the demo is explained in this short paper. For more details, look at the Publications section.
© 2014 Roberto Castañeda Lozano
Template design by Andreas Viklund