thanks; this might be a presumptuous suggestion, but if you're interested in these topics, please take a look at my dissertation. at the very least, it's useful as a bibliography of work in this field ...
no, not presumptious, I've been trying to figure out where to find a good bibliography of that space!
I'm actually right now figuring out if I can align the stars so I can just support myself while working on this tool chain project of mine, but we really should chat in more detail at some point! (lets one of us get around to emailing the other in the near future)
http://pgbovine.net/projects/pubs/guo_phd_dissertation.pdf