We found that auto-documentation via these kinds of run-time traces is really powerful. If you add in a bit of centralization (connecting traces across many users), this can also be a useful way to capture bugs or unforeseen behavior.
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.
We found that auto-documentation via these kinds of run-time traces is really powerful. If you add in a bit of centralization (connecting traces across many users), this can also be a useful way to capture bugs or unforeseen behavior.