Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis.

Zhoulai Fu

Browse the full ESOP paper archive.