My thesis work is mainly involved using hoopl as back end of a DSL. I am going to first define a concrete intermediate language for the abstract syntax tree then use hoopl to generate code in other language. Moreover, it would be very interesting to see what kind of transformation could hoopl do and how could it help with optimazation.
According to the NDA file, I cannot really say anything in concrete manner. I can just put some related background knowledge here as references.
