Semantic-directed clumping of disjunctive abstract states

Article Details
Title:	Semantic-directed clumping of disjunctive abstract states
Article URLs:	http://dl.acm.org/citation.cfm?id=3009881
Alternative Article URLs:	https://www.di.ens.fr/~rival/papers/popl17.pdf
Authors:	Huisong Li	INRIA CNRS ENS PSL * Research University
	Francois Berenger	INRIA CNRS ENS PSL * Research University
	Bor-Yuh Evan Chang	University of Colorado, Boulder
	Xavier Rival	INRIA CNRS ENS PSL * Research University
Sharing:	Research produced artifacts
Verification:	Authors have 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:	https://github.com/Antique-team/memcad https://www.di.ens.fr/~rival/papers/vm-popl17.ova
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/popl/LiBCR17
Author Comments:	Semantic-Directed Clumping of Disjunctive Abstract States, ACM Symposium on Principles of Programming Languages (POPL 2017), 2017 Huisong Li, Francois Berenger, Bor-Yuh Evan Chang and Xavier Rival. In Principles Of Programming Languages 2017 (POPL'17), Paris, Jan. 2017.

ACM Principles of Programming Languages, POPL 2017