Very interesting! I don't think the paper mentions type tracing combined with static analysis, property testing, or AOT compilers however. Do you have another l

Very interesting! I don't think the paper mentions type tracing combined with static analysis, property testing, or AOT compilers however. Do you have another link with more info? I can't seem to find it anywhere, and am keen to have play with it :) It does seem like there's a lot more very useful tools which could be made from the data we already have. Bug databases combined with commits are also filled with useful information. It does seem you can train a classifier for certain bugs from just those features. I think the "Auto Complete from stack overflow" and related stuff from early 2016 was also pretty neat, in that it didn't use trace info, but more normal text search methods. But was surprisingly useful none the less.