Weird things that surprise academics trying to commercialize a static checking tool. Andy Chou, Ben Chelf, Seth Hallem Charles Henri-Gros, Bryan Fulton, Ted Unangst Chris…