Thread-sensitive points-to analysis for multithreaded Java programs (2004)

by Byeong-mo Chang, Jong-deok Choi
Venue:In ISCIS’04: Proceedings of the 19th International Symposium on Computer and Information Sciences, volume 3280 of LNCS: Lecture Notes in Computer Science