See the wiki page at http://demsky.eecs.uci.edu/compiler/