Galois talk

I was invited to present a Galois tech talk on Mozilla static analysis. It was really cool to give a talk locally to such an expert audience. I was surprised to discover a vibrant Programming Languages + Analysis community in Portland.

Edward Z. Yang did an excellent write-up on the talk.

PLDi

Robert O’Callahan mentioned Dehydra in his PLDI talk.

Dehydra/Treehydra in GCC 4.5

There a few fixes that are about to land. I’m hoping that by the end of the week GCC 4.5 support will be production-quality. Sorry that it’s taken so long, but I’ve been busy focusing on startup. Ehren has picked up the slack, we should be able to produce a fairly polished Dehydra 1.0 by the end of the summer.

3 comments

  1. Robert O'Callahan

    For the record, it was an LFX workshop talk, not an actual PLDI talk.

  2. I watched this talk before and found it very interesting, but there was a particular tool that was mentioned, somebody’s dissertation I think and I want to say ‘saw’ was in the name. I’ve googled for every variation of “saw refactoring C++” and I can’t find it anymore. I tried flipping through the video too but didn’t catch the exact moment the right slide is presented. Can I get the link? (assuming you can tell which tool I’m talking about) Or are the slides posted somewhere?

  3. Not sure which tool you are referring to.

    Galois folks got a copy of the slides http://code.galois.com/talk/2010/10-06-glek/