Compiler Techniques for Transformation Verification, Energy Efficiency and Cache Modeling

Compiler Techniques for Transformation Verification, Energy Efficiency and Cache Modeling

Bibliographic Details
Main Author:	Bao, Wenlei
Language:	English
Published:	The Ohio State University / OhioLINK 2018
Subjects:	Computer Science compiler optimization polyhedral compilation program verification energy optimization DVFS cache modeling vulnerability analysis
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1524073563586939

Similar Items

Combinatorial Problems in Compiler Optimization
by: Beg, Mirza Omer
Published: (2013)

Combinatorial Problems in Compiler Optimization
by: Beg, Mirza Omer
Published: (2013)

Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques
by: Fernández de Retana, Yon
Published: (2018)

Efficient Execution Paradigms for Parallel Heterogeneous Architectures
by: Koukos, Konstantinos
Published: (2016)

Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation
by: Baghdadi, Mohamed Riyadh
Published: (2015)

Unconventional Applications of Compiler Analysis
by: Selby, Jason W. A.
Published: (2011)

Unconventional Applications of Compiler Analysis
by: Selby, Jason W. A.
Published: (2011)

Lifting the Abstraction Level of Compiler Transformations
by: Tang, Xiaolong
Published: (2013)

Effective Automatic Parallelization and Locality Optimization Using The Polyhedral Model
by: Bondhugula, Uday Kumar
Published: (2008)

Applying Polyhedral Transformation to Fortran Programs
by: Gururaghavendran, Ashwin
Published: (2011)

A Compiler Target Model for Line Associative Registers
by: Eberhart, Paul S.
Published: (2019)

Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée
by: Trieu, Alix
Published: (2018)

Applying support vector machines to discover just-in-time method-specific compilation strategies
by: Nabinger Sanchez, Ricardo
Published: (2010)

Impacts of Compiler Optimizations on Address Bus Energy: An Empirical Study
by: TOMIYAMA, Hiroyuki
Published: (2004)

Compiler-Directed Error Resilience for Reliable Computing
by: Liu, Qingrui
Published: (2018)

Compiler construction for a simple Pascal-like language
by: Moon, Hae-Kyung
Published: (2011)

The implementation of an optimizing compiler for Icon.
by: Walker, Kenneth William.
Published: (1991)

Compiler Optimization Effects on Register Collisions
by: Tan, Jonathan S
Published: (2018)

Incremental Compilation and Dynamic Loading of Functions in OpenModelica
by: Klinghed, Joel, et al.
Published: (2008)

Compile Time Extraction And Instrumentation of Affine Program Kernels
by: Chinnaswamy, Karthiyayini
Published: (2010)

Optimizing System Performance and Dependability Using Compiler Techniques
by: Rajagopalan, Mohan
Published: (2006)

Evaluation of GCC optimization parameters
by: Rodrigo D. Escobar, et al.
Published: (2012-12-01)

EXTRACT: Extensible Transformation and Compiler Technology
by: Calnan, III, Paul W.
Published: (2003)

A programming language based on recurrence equations and polyhedral compilation for stream processing
by: Leben, Jakob
Published: (2019)

An empirical study of the influence of compiler optimizations on symbolic execution
by: Dong, Shiyu
Published: (2014)

PolyOpt/Fortran: A Polyhedral Optimizer for Fortran Programs
by: Narayan, Mohanish
Published: (2012)

Pinhão: An Auto-tunning System for Compiler Optimizations Guided by Hot Functions
by: Marcos Siraichi, et al.
Published: (2019-01-01)

Automatic Compilation Of MATLAB Programs For Synergistic Execution On Heterogeneous Processors
by: Prasad, Ashwin
Published: (2014)

Coinductive Natural Semantics for Compiler Verification in Coq
by: Angel Zúñiga, et al.
Published: (2020-09-01)

Compiler Support for Fine-grain Software-only Checkpointing
by: Zhao, Cheng Yan
Published: (2013)

Compiler Support for Fine-grain Software-only Checkpointing
by: Zhao, Cheng Yan
Published: (2013)

Beyond the realm of the polyhedral model : combining speculative program parallelization with polyhedral compilation
by: Sukumaran Rajam, Aravind
Published: (2015)

Procedures classification for optimizing strategy assignment
by: O. A. Chetverina
Published: (2018-10-01)

An Advanced Compiler Designed for a VLIW DSP for Sensors-Based Systems
by: Hu He, et al.
Published: (2012-04-01)

A Just in Time Register Allocation and Code Optimization Framework for Embedded Systems
by: Thammanur, Sathyanarayan
Published: (2001)

Certified Compilation and Worst-Case Execution Time Estimation
by: Maroneze, André Oliveira
Published: (2014)

The Design of Intermediate Languages in Optimizing Compilers
by: Maurer, Luke
Published: (2018)

Hybrid analysis of memory references and its application to automatic parallelization
by: Rus, Silvius Vasile
Published: (2010)

Adaptive predication via compiler-microarchitecture cooperation
by: Kim, Hyesoon, 1974-
Published: (2008)

Adaptation automatique et semi-automatique des optimisations de programmes
by: Bagnères, Lénaïc
Published: (2016)

Cannot write session to /tmp/vufind_sessions/sess_vlp9irjd7iumuode35sfd52orn