1. A system, comprising: an escape analysis module to (1) determine which objects of a program can be stack allocated under a closed-world assumption and (2) analyze which stack allocation is invalidated due to an occurrence of an open-world feature; a stack allocation module to stack allocate the objects determined by the escape analysis module; and a stack allocation recovery module to recover invalidated stack allocations back to their original allocations in heap based on the analysis of the escape analysis module.