1. A computer program product comprising one or more computer storage media having thereon computer-executable instructions that are structured such that, when executed by one or more processors of a computing system, cause the computing system to perform a method for reconstructing garbage collection information corresponding to an application, the method comprising: an act of accessing a portion of compiler-generated application code; an act of performing a liveness analysis of the application code portion to generate liveness analysis results in the form of one or more live program state storage locations in the application code portion; and an act of computing computation results using the liveness analysis results and using type information from a type service, the computational results identifying one or more program state storage locations which track live references or memory pointers which can be displaced during garbage collection.