Unfortunately, the link to the Green-Marl compiler "paper from CGO 2014" is broken. Anyone knows where to find this?
Here's a paper about compilers: http://ppl.stanford.edu/papers/a134-sujeeth.pdf
And one about DSLs: http://ppl.stanford.edu/papers/cgo14-hong.pdf