Verified peephole optimizations for CompCert

Article Details
Title:	Verified peephole optimizations for CompCert
Article URLs:	https://doi.org/10.1145/2908080.2908109
Alternative Article URLs:
Authors:	Eric Mullen	University of Washington
	Daryl Zuniga	University of Washington
	Zachary Tatlock	University of Washington
	Dan Grossman	University of Washington
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/uwplse/peek
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/pldi/MullenZTG16
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2016