I don't know about convex techniques specifically, but linear programming is used. See for example:
http://polly.llvm.org/
(this is probably too general of a question for this list in the future, but hopefully that page and the references in the linked papers might get you started. I understand it is quite a difficult topic to search for because so much compiler work contains the word "optimization")