ENGINEERING RESEARCH PAPERS

compiler design and development 2016 IEEE PAPER




Auto-tuning Techniques for Compiler Optimization
free download

ABSTRACT Diversity of today's architectures have forced programmers and compiler researchers to port their application across many different platforms. Compiler auto-tuning itself plays a major role within that process as it has certain levels of complexities that

A Dynamic to Static DSL Compiler for Image Processing Applications
free download

Abstract:Computer vision is a thriving field of re-search, and Python is an instrument of choice for developing image processing software applications. Used in conjunction with specialized libraries written in C or C++, performance can be enhanced to match native

Toward understanding compiler bugs in gcc and llvm
free download

ABSTRACT Compilers are critical, widely-used complex software. Bugs in them have significant impact, and can cause serious damage when they silently miscompile a safety- critical application. An in-depth understanding of compiler bugs can help detect and fix

An MIG-based compiler for programmable logic-in-memory architectures
free download

ABSTRACT Resistive memories have gained high research attention for enabling design of in-memory computing circuits and systems. We propose for the first time an automatic compilation methodology suited to a recently proposed computer architecture solely

A byte code compiler for R
free download

This document presents the current implementation of the byte code compiler for R. The compiler produces code for a virtual machine that is then executed by a virtual machine runtime system. The virtual machine is a stack based machine. Thus instructions for the

Timing Characterization of an SRAM Generated from OpenRAM: An Open-Source Memory Compiler
free download

Embedded Static Random-Access Memory (SRAM) has become a standard in Applicationspecific Integrated Circuits (ASICs), System-on-Chip (SoC), and micro-processor designs. The size and number of memories on-chip continues to increase as process

Integration of polychrony in the QGen model compiler
free download

Abstract We present the development of a model transformation tool between the synchronous Signal language and QGen model compiler's intermediate language as well as an alternative block sequencing implementation for QGen which supports strict partial and

Review of LLVM Compiler Architecture Enhancements for CUDA
free download

Abstract:Heterogeneous platforms are now becoming increasing omnipresent due to the availability of multicores at commodity prices. In order to benefit from the immense parallel capability of these multicores, more and more applications are now being

Introduction to Compiler Generation Using HACS
free download

Abstract Higher-order Attribute Contraction Schemes or HACS is a language for programming compilers. With HACS it is possible to create a fully functional compiler from a single source file. This document explains how to get HACS up and running, and walks

Technical Report Quantum Circuit Synthesis and Compiler
free download

Abstract Quantum circuit synthesis is a central question about a practical quantum computer. It provides some powerful tools for us to implement some features like highlevel abstraction in programming language theory. We implement two single-qubit quantum circuit

The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end
free download

Abstract Green-Marl is a domain specific language for efficient graph analysis. In this thesis, we define the formal static semantics of the language and provide an implementation in the Spoofax language workbench. The type system of Green-Marl includes limited forms of

Compiler-Directed Data Locality Optimization in MATLAB
free download

ABSTRACT Array programming languages, such as MATLAB, are often used for algorithm development by scientists and engineers without taking into consideration implementation related issues and with limited emphasis on relevant optimizations. Application code

Compiler-Assisted OpenMP Runtime Organization for Embedded Multicores
free download

Abstract The recently introduced OpenMP device constructs open a whole new world for application writers, enabling them to easily utilize the host cpus along with other attached computational resources, in an intuitive and productive manner. At the same time,

Decoupled Vector-Fetch Architecture with a Scalarizing Compiler
free download

It is truly an interesting time to be a computer architect, as we hit the inflection point at which old conventional wisdom in computer architecture breaks down. For the past 50 years, Moore's law [87] in conjunction with Dennard scaling [35] have given computer architects

Restructuring the OMPi Compiler for the Accelerator Era
free download

Abstract Alexandros Papadogiannakis. M. Sc. degree in Computer Science, February 2016. Department of Computer Science and Engineering, University of Ioannina, Greece. Restructuring the OMPi Compiler for the Accelerator Era. Supervisor: Vassilios V.

Exploring the fundamental differences between compiler optimisations for energy and for performance
free download

Abstract The efficiency of an application can have a huge effect on how long a device will run on its batteries. With no significant increases in battery capacity, yet applications requiring longer battery life, it falls to software to be more efficient with its use of energy.

Compiler Consistency Revisited
free download

By now we have laid the foundations which permit us to deal with system program- ming here the programming of a kernel in a precise way. Kernels perform so-called process switches, where they save or restore processor registers in C0 vari- ables, which are

A C0-Compiler
free download

Comtarget pro- grams code(p) from some instruction set architecture ISA,target pro- gram simulates the source program. Of course, here we are interested in C0 as the source language and

Compiler Support for the Fortran 2003 and 2008 Standards Revision 17
free download

This is a repeating article in Fortran Forum. The first version appeared in Fortran Forum in April 2007. The basis for the entries in the original list of features was a report by John Reid. An electronic version can be found at: ftp://ftp. nag. co. uk/sc22wg5/N1601-N1650/N1648.

Lazy Evaluation: From natural semantics to a machine-checked compilertransformation
free download

This document contains a rendering of the formal theories corresponding to doctorla thesis Lazy Evaluation: From natural semantics to a machine-checked compiler trans- formation by Joachim

ABC: A double-conversion compiler/solver for nanoscience calculus
free download

ABSTRACT CompLab(Compiler Laboratory) or ABC(Advanced Basic-C) is a double conversion compiler working in two parallel regimes (A and B) one of which is similar to that of MATLAB while the other is a professional compilation routine similar to C and

INF 5110: Compiler construction
free download

It contains information about the course, slides will be available, as well as exercises, announcements, info about obligs, etc. A proposed weekly schedule is already there, but it may undergo adaptations as we go. If slides for forthcoming lectures have not yet been

ANALYSIS AND REPORTING OF PROGRAMMING SKILLS USING MOBILE CLOUD BASED COMPILER
free download

Abstract Cloud Computing is a growing technology which enables on demand network access to resources. In mobile cloud computing there is access to remote servers rather than local servers using portable devices and it is also shaping new environment for computing

A Predictive Modeling Framework For Compiler Phase-ordering Problem
free download

ABSTRACT Today's compilers offer a huge number of transformation optimizations to choose among and this choice can significantly impact on the performance of the code being optimized. Not only the selection of compiler optimizations represent a hard

LoopInvader: A Compiler for Tightly Coupled Processor Arrays
free download

Continuous technology miniaturization allows to build massively parallel embedded computer architectures within a single silicon chip. Programming that leverages the abundant parallelism in such architectures, however, is very difficult, tedious, and error-

Online Java Compiler Using Mobile Cloud Computing
free download

Abstract-The number of smart phone users and mobile applications are growing rapidly. Though smart phones are expected to have PC-like functionality, hardware resources such as CPUs, memory and batteries are still limited. To solve this resource problem, connect

Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
free download

Abstract:Compiler writers typically focus primarily on the performance of the generated program binaries when selecting the passes and the order in which they are applied in the standard optimization levels, such as GCC–O3. In some domains, such as embedded

Tinker: Generating Custom Memory Architectures for Altera's OpenCLCompiler
free download

Abstract:Tools for C/C++ based-hardware development have grown in popularity in recent years. However, the impact of these tools has been limited by their lack of support for integration with vendor IP, external memories, and communication peripherals. In this

An Evaluation of Autotuning Techniques for the Compiler Optimization Problems
free download

Abstract. Diversity of today's architectures have forced programmers and compiler researchers to port their application across many different platforms. Compiler auto-tuning itself plays a major role within that process as it has certain levels of complexities that the

Advance System On Cloud Based Cross Compiler In Various Languages
free download

ABSTRACT This research paper provides an analysis of the state of the art technologies for software evolution in cloud environments. The survey systems cover the whole spectrum of cloud-based development along with combined programming environments, code

EDAN70 Compiler Project
free download

Abstract We have extended a parser specification preprocessor called JastAddParser to support the Construction of Useful Parsers (CUP) parser generator as a backend in addition to the Beaver parser generator, which previously was the only available option. In the

The Power of the Function Compiler: PROC FCMP
free download

ABSTRACT PROC FCMP, the user-defined function procedure, allows SAS software users of all levels to get creative with SAS and expand their scope of functionality. PROC FCMP is the superhero of all SAS procedures in its vast capabilities to create and store uniquely

Crossing the Gap between Semantics and Practice: Crafting a Compiler for Statecharts
free download

Statecharts and various dialects based on state machines are popular both as main-stream modeling languages and as a specification formalism used in verification and model checking. The community of users and researchers agrees that one of the main

Relational Program Reasoning Using Compiler IR
free download

Abstract. Relational program reasoning is concerned with formally comparing pairs of executions of programs. Prominent examples of relational reasoning are program equivalence checking (which considers executions from different programs) and detecting

Compiler and Runtime Support for Hybrid Static/Dynamic Scheduling
free download

Abstract:One of the outstanding issues in parallel computing is the selection of task granularity. This work proposes a solution to the task granularity problem by lowering the overhead of the task scheduler and as such supporting very fine-grain tasks. Using a

Evaluation of Different Autotuning Methodologies on The Compiler Optimization Problem
free download

Abstract:Diversity of today's architectures have forced programmers and compiler researchers to port their application across many different platforms. Compiler auto-tuning itself plays a major role within that process as it has certain levels of complexities that

Mobile Cloud Based Compiler with Security Approach
free download

Abstract Now days, Mobile is for allowing convenient as well as on-demand network access to a shared pool of configurable computing capitals are rapidly provisioned and released with minimum management efforts. In two days world extensively use of internet. In the

Evolutionary optimization of compiler flag selection by learning and exploiting flags interactions
free download

ABSTRACT Compiler flag selection can be an effective way to increase the quality of executable code according to different code quality criteria. Evolutionary algorithms have been successfully applied to this optimization problem. However, previous approaches

A MultiYPorted Memory Compiler Utilizing True DualYport BRAMs
free download

Recent work has shown how multi ported RAMs can be built out of dual ported RAMs. Such techniques combine two structures: a set of data banks to hold the data, and a method for selecting the bank containing the last written data, often called a live value table (LVT).

D2. 3 Advanced compiler implementation
free download

Executive summary SCoRPiO proposes to exploit the significance of computations to design energy-efficient systems which scale gracefully under the presence of errors. This deliverable discusses the design and implementation of a SCoRPiO compiler which

Compiler-Assisted Overlapping of Communication and Computation in MPI Applications
free download

Abstract:The performance of distributed-memory applications, many of which are written in MPI, critically depends on how well the applications can ameliorate the long latency of data movement by overlapping them with ongoing computations, thereby minimizing wait time.

PPCG and Pencil compiler design
free download

Page 1. May 11, 2016 1 / 66 PPCG and Pencil Compiler Design Sven Verdoolaege Sven. Ñ OpenCL compiler DSL Ñ PEnCil compilers Direct OpenCL

RANDOM TESTS COMBINING MATHEMATICA PACKAGE AND LATEXCOMPILER
free download

ABSTRACT This paper presents a competent and useful way to elaborate random exams by using Mathematica and LATEX. With these two tools, the authors suggest how to generate, in an easy way, different PDF documents containing different models of exams. The main

Kizzle: A Signature Compiler for Detecting Exploit Kits
free download

Abstract:In recent years, the drive-by malware space has undergone significant consolidation. Today, the most common source of drive-by downloads are the so-called exploit kits (EKs). This paper presents Kizzle, the first prevention technique specifically

Formal Semantics of MiniML and Correctness of Its Compiler Generation
free download

A formalization of MiniML and of the Categorical Abstract Machine (CAM) in natural semantics is presented. It also contains the definition of the translation from MiniML to the CAM and the proof that this translation is correct. The work is completely inspired by the

St Andrews Algol to Javascript compiler project
free download

Abstract This document describes the implementation of a compiler that accepts St Andrews Algol (S-algol) programs and produces analogous Javascript programs. It describes the implementation of a lexer, a parser, static analysis stages and code generation for such a

Performance Evaluation of Compiler-based Software RMT in an HSA environment
free download

Abstract:Reliability is one of the major challenges faced in exascale supercomputing today. While leveraging the inherent parallelism offered by Graphics Processing Units (GPUs) is crucial to accelerate the applications, it is equally important to ensure that

A Compiler for Programming Molecular Robots
free download

1. Introduction. Molecular robotics are a promising approach for biomedical applications. Molecular robots (nanobots) can operate inside a living body [2, 3, 1, 11], carrying out molecular actions, such as releasing a molecular payload only under some environmental

Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler
free download

Abstract. In widely-used actor-based programming languages, such as Erlang, sequential execution performance is as important as scalability of concurrency. In order to improve sequential performance of Erlang, we develop Pyrlang, an Erlang virtual machine with a

Compiler-Assisted Workload Consolidation For Efficient Dynamic Parallelism on GPU
free download

Abstract:GPUs have been widely used to accelerate computations exhibiting simple patterns of parallelism–such as flat or two-level parallelism–and a degree of parallelism that can be statically determined based on the size of the input dataset. However, the effective

Cross-Language Compiler Benchmarking
free download

Abstract Comparing the performance of programming languages is difficult because they differ in many aspects including preferred programming abstractions, available frameworks, and their runtime systems. Nonetheless, the question about relative performance comes

Cross-Language Compiler using Roslyn and Coco/R for the Common Language Runtime
free download

Throughout history many programming languages have come and gone, but in the last decade various languages have focused on some dedicated fields of applications. When we are talking about the Java programming language, then it seems natural to assume that

A compiler for lazy datatypes in Isabelle/HOL
free download

Computing with infinite data structures requires lazy evaluation. For example, the infinite list [0..] of all natural numbers can be used to pair all elements in a list xs with their index: zip [0..] xs. In a call-by-value language without laziness, the program zip [0..] xs would first try

Compiler Aspects of Hardware Accelerators
free download

Abstract:Hardware accelerators are first-class building blocks in modern computing devices. Ranging from data centers to mobile devices, hardware accelerators are designed and developed in order to run certain applications more efficiently. The interaction

Compiler-enabled Hardware Accelerators
free download

Abstract:Hardware accelerators are first-class building blocks in modern computing devices. Ranging from data centers to mobile devices, hardware accelerators are designed and developed in order to run certain applications more efficiently. The interaction

Sequent calculus as a compiler intermediate language
free download

Abstract The -calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, called the sequent calculus. Perhaps that would be a good intermediate language, too To explore this

Towards a Compiler for Reals
free download

We present the source-to-source compiler Rosa which takes as input a real-valued program with error specifications and synthesizes code over an appropriate floating-point or fixed- point data type. The main challenge of such a compiler is a fully automated, sound and yet

Evaluating the Effects of Compiler Optimizations on Mutation Testing at theCompiler IR Level
free download

Abstract:Software testing is one of the most widely used approaches for improving software reliability. The effectiveness of testing depends to a large extent on the quality of test suites. Researchers have developed various techniques to evaluate the quality of test suites. Of