I saw a demo for something like this at a PLDI conference a long time ago. I think it was someone at IBM Research. I'm not sure if this is it, but the Quake IDE

I saw a demo for something like this at a PLDI conference a long time ago. I think it was someone at IBM Research. I'm not sure if this is it, but the Quake IDE extension looks similar: http://groups.csail.mit.edu/uid/other-pubs/sloppy-programming.pdf http://groups.csail.mit.edu/uid/other-pubs/sloppy-programmin...