Would it be possible to save such data as an aggregation of runtime-profiles that could be used to 1) speed up execution and 2) back-port static type annotation

Would it be possible to save such data as an aggregation of runtime-profiles that could be used to 1) speed up execution and 2) back-port static type annotations to the source code? It should. I recently ran across a page looking to collect data reuse profiles (via user submission) for use in compiler research. Unfortunately, it doesn't appear to be active/working. http://www.cs.rochester.edu/research/locality/reusesig/ http://www.cs.rochester.edu/research/locality/reusesig/