Abstract: Disclosed are systems and methods for automatic self-stabilizing compilation of programs. The method includes receiving an input program and generating a plurality of abstractions of the input program using a plurality of analysis operations, by an analysis component (208). Each one of the plurality of abstractions represents a program state. An optimization component (210) performs an optimization operation on one of the plurality of abstractions (316) based on a set of predetermined elementary transformations (408) to modify the program state. A stabilization component (212) performs stabilization of one or more of the plurality of abstractions (316) using the information captured by the set of predetermined elementary transformations in a stabilization mode. The stabilizing includes updating the one or more abstractions (316) to maintain consistency of the abstractions with the program states.