Modular Certification of Low-Level Intermediate Representation Programs

Intermediate-representation recovery from low-level code

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '06 ◽

10.1145/1111542.1111560 ◽

2006 ◽

Cited By ~ 32

Author(s):

Thomas Reps ◽

Gogul Balakrishnan ◽

Junghee Lim

Keyword(s):

Intermediate Representation ◽

Low Level

Download Full-text

Horn clauses as an intermediate representation for program analysis and transformation

Theory and Practice of Logic Programming ◽

10.1017/s1471068415000204 ◽

2015 ◽

Vol 15 (4-5) ◽

pp. 526-542 ◽

Cited By ~ 12

Author(s):

GRAEME GANGE ◽

JORGE A. NAVAS ◽

PETER SCHACHTE ◽

HARALD SØNDERGAARD ◽

PETER J. STUCKEY

Keyword(s):

Program Analysis ◽

Logic Program ◽

Machine Language ◽

Intermediate Representation ◽

Logic Programs ◽

Low Level ◽

Horn Clauses ◽

Program Representation ◽

Compilation Process

AbstractMany recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics. We propose using logic programs as an intermediate program representation throughout the compilation process. With restrictions ensuring determinism and single-modedness, a logic program can easily be transformed to machine language or other low-level language, while maintaining the simple semantics that makes it suitable as a language for program analysis and transformation. We present a simple LP language that enforces determinism and single-modedness, and show that it makes a convenient program representation for analysis and transformation.

Download Full-text

POLLY — PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION

Parallel Processing Letters ◽

10.1142/s0129626412500107 ◽

2012 ◽

Vol 22 (04) ◽

pp. 1250010 ◽

Cited By ~ 130

Author(s):

TOBIAS GROSSER ◽

ARMIN GROESSLINGER ◽

CHRISTIAN LENGAUER

Keyword(s):

Automatic Parallelization ◽

Intermediate Representation ◽

Polyhedral Model ◽

Low Level ◽

Loop Parallelization ◽

Polyhedral Optimization

The polyhedral model for loop parallelization has proved to be an effective tool for advanced optimization and automatic parallelization of programs in higher-level languages. Yet, to integrate such optimizations seamlessly into production compilers, they must be performed on the compiler's internal, low-level, intermediate representation (IR). With Polly, we present an infrastructure for polyhedral optimizations on such an IR. We describe the detection of program parts amenable to a polyhedral optimization (so-called static control parts), their translation to a Z-polyhedral representation, optimizations on this representation and the generation of optimized IR code. Furthermore, we define an interface for connecting external optimizers and present a novel way of using the parallelism they introduce to generate SIMD and OpenMP code. To evaluate Polly, we compile the PolyBench 2.0 benchmarks fully automatically with PLuTo as external optimizer and parallelizer. We can report on significant speedups.

Download Full-text

Tryptophan-Niacin Metabolism in Rat with Puromycin Aminonucleoside-Induced Nephrosis

International Journal for Vitamin and Nutrition Research ◽

10.1024/0300-9831.76.1.28 ◽

2006 ◽

Vol 76 (1) ◽

pp. 28-33 ◽

Cited By ~ 7

Author(s):

Yukari Egashira ◽

Shin Nagaki ◽

Hiroo Sanada

Keyword(s):

Body Weight ◽

Urinary Excretion ◽

Enzyme Activities ◽

Treated Group ◽

Control Group ◽

Puromycin Aminonucleoside ◽

Low Level ◽

Key Enzyme

We investigated the change of tryptophan-niacin metabolism in rats with puromycin aminonucleoside PAN-induced nephrosis, the mechanisms responsible for their change of urinary excretion of nicotinamide and its metabolites, and the role of the kidney in tryptophan-niacin conversion. PAN-treated rats were intraperitoneally injected once with a 1.0% (w/v) solution of PAN at a dose of 100 mg/kg body weight. The collection of 24-hour urine was conducted 8 days after PAN injection. Daily urinary excretion of nicotinamide and its metabolites, liver and blood NAD, and key enzyme activities of tryptophan-niacin metabolism were determined. In PAN-treated rats, the sum of urinary excretion of nicotinamide and its metabolites was significantly lower compared with controls. The kidneyα-amino-β-carboxymuconate-ε-semialdehyde decarboxylase (ACMSD) activity in the PAN-treated group was significantly decreased by 50%, compared with the control group. Although kidney ACMSD activity was reduced, the conversion of tryptophan to niacin tended to be lower in the PAN-treated rats. A decrease in urinary excretion of niacin and the conversion of tryptophan to niacin in nephrotic rats may contribute to a low level of blood tryptophan. The role of kidney ACMSD activity may be minimal concerning tryptophan-niacin conversion under this experimental condition.

Download Full-text