FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

First Page		Document Content
Date: 2010-07-21 10:31:13 Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP		FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 2,14 MB Share Document on Facebook

	Communication Optimizations in the Berkeley UPC Compiler Wei Chen, Costin Iancu, Kathy Yelick UC Berkeley/LBNL http://upc.lbl.gov DocID: 1tINr - View Document
	Graphical Visualization of Compiler Optimizations* MICKEY R. BOYD AND DAVID B. WHALLEY Department of Computer Science 4019, Florida State University, Tallahassee, FL 32306, U.S.A. e-mail: phone: (904) DocID: 1tFS8 - View Document
	Optimizations in a dynamic compiler © 2015 Oracle, Mario Wolczko Part 1 — Optimizing DocID: 1sZyS - View Document
	An Experimental Study of the Influence of Dynamic Compiler Optimizations on Scala Performance Lukas Stadler, Gilles Duboscq, Hanspeter Mössenböck Thomas Würthinger, Doug Simon DocID: 1sv4l - View Document
	Parameterization of Compiler Optimizations For Empirical Tuning Qing Yi University of Texas at San Antonio Empirical Tuning of Compiler DocID: 1spAM - View Document