1. A computer program product comprising one or more recordable-type storage devices excluding signals having stored thereon computer-executable instructions that are structured such that, when executed by one or more processors of a computing system, the computer-executable instructions cause the computing system to perform a method for reconstructing garbage collection information corresponding to an application, the method comprising: at runtime of an application, accessing a portion of compiler-generated application code for the application; at runtime of the application, performing a liveness analysis of the application code portion for live storage locations, to generate liveness analysis results in the form of one or more live program state storage locations in the application code portion; at runtime of the application, 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; and at runtime of the application, comparing the computational results against garbage collection information generated by a compiler at a compile-time of the application and prior to the runtime of the application, the compiler-generated garbage collection information also identifying one or more program state storage locations which track live references or memory pointers and, subsequent to determining that the one or more storage locations identified in the compiler-generated garbage collection information includes all of the one or more program state storage locations which track live references or memory pointers and that are identified in the computational results, validating the compiler-generated garbage collection information and performing garbage collection.