Safety Checking of Machine Code Zhichen Xu

First Page		Document Content
Date: 2004-03-27 21:08:37 Data types Type theory Formal methods Pointer Predicate transformer semantics Sequence container Stack Compiler optimization Type safety Computing Software engineering Programming language theory		Safety Checking of Machine Code Zhichen Xu Add to Reading List Source URL: ftp.cs.wisc.edu Download Document from Source Website File Size: 93,12 KB Share Document on Facebook

	Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach DocID: 1tIPP - View Document
	A Compiler for Throughput Optimization of Graph Algorithms on GPUs There is growing interest in raising the abstraction level for GPU programmers through the use of high-level programming notations and compiler technolog DocID: 1t4ls - View Document
	IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure Michihiro Horie†, Mikio Takeuchi†, Kiyokuni Kawachiya†, David Grove‡ †IBM Research - Tokyo DocID: 1sSbC - View Document
	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA DocID: 1rsFQ - View Document
	Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna DocID: 1rqme - View Document