A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

First Page		Document Content
Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia		A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Download Document from Source Website File Size: 228,83 KB 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