Efficient and precise points-to analysis: modeling the heap by merging equivalent automata

Article Details
Title:	Efficient and precise points-to analysis: modeling the heap by merging equivalent automata
Article URLs:	https://doi.org/10.1145/3062341.3062360
Alternative Article URLs:
Authors:	Tian Tan	University of New South Wales, School of Computer Science and Engineering
	Yue Li	University of New South Wales, School of Computer Science and Engineering
	Jingling Xue	University of New South Wales, School of Computer Science and Engineering
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://www.cse.unsw.edu.au/~corg/mahjong
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/pldi/TanLX17
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2017