Comments on Matías Giovannini's "Merge Right"
- August 18, 2012
A relatively common story: a comment I started writing in reaction to Matías Giovannini’s Merge right blog post turned out lengthier than I initially expected. It feels a bit off-topic on Gagallium, but I know there are people interested in reading about Matías’ perfectionist code snippets (I am), so there might also be an audience for perfectionist comments about perfectionist blog posts…
Register allocation in CompCert
- August 2, 2012
I am an intern at Gallium this summer. I arrived a week too late to be featured in the Students at Gallium post, so I’ll start by introducing myself. In the fall, I’ll be a fourth year undergraduate at Harvard. Back home, I work with Greg Morrisett as part of the GoNative project. This summer I’m working on optimizations in CompCert. For the past few weeks, I’ve been experimenting with changing the register allocator in CompCert.