P.S. the navigation links at the top of the page don't work in Opera. Why aren't they just links + :hover CSS? (I presume they're written using Elm but that's not good if people for whom Elm doesn't work want to find out more.)
Also, thanks for pointing out the Opera mistake. It is on my to-do list!
By "post my thesis" presumably you mean on your website and not HN? (I'll never find it if it's just on HN.)
Who's your thesis advisor?
I'm working with Stephen Chong. This isn't his primary research focus, but he is a really great adviser. Our PL group is really strong (I think :P), so I have lots of great resources around.