Exploiting regularity of user-defined types to improve precision of program analyses.

Xiaolong Tang, Jaakko Jrvi

Browse the full SAC paper archive.