First of all try LLVM.

Then look here:
http://portal.acm.org/results.cfm?qu...GUIDE&dl=GUIDE
http://csdl2.computer.org/persagen/D...=p&acronym=CGO