Evaluating value-graph translation validation for LLVM - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett. Evaluating value-graph translation validation for LLVM. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 295-305, ACM, 2011. [doi]

This author has not been identified. Look up 'Jean-Baptiste Tristan' in GoogleThis author has not been identified. Look up 'Paul Govereau' in GoogleThis author has not been identified. Look up 'Greg Morrisett' in Google

runs on WebDSL