From execution traces to specialized inference