[图书][B] Modular system design and evaluation

MS Levin - 2015 - Springer
The frame approach for representing knowledge (ie, collection of frames are linked together
into frame-system) has been suggested by Marvin Minsky. In this approach, the frame …

Linear scan register allocation on SSA form

C Wimmer, M Franz - Proceedings of the 8th annual IEEE/ACM …, 2010 - dl.acm.org
The linear scan algorithm for register allocation provides a good register assignment with a
low compilation overhead and is thus frequently used for just-in-time compilers. Although …

Register allocation by puzzle solving

FM Quintão Pereira, J Palsberg - Proceedings of the 29th ACM SIGPLAN …, 2008 - dl.acm.org
We show that register allocation can be viewed as solving a collection of puzzles. We model
the register file as a puzzle board and the program variables as puzzle pieces; pre-coloring …

Combinatorial optimization in system configuration design

MS Levin - Automation and Remote Control, 2009 - Springer
The significance of systems configurations has been increased in many applied domains
(eg, software, hardware, manufacturing systems, communication systems, supply chain …

Igc: The open source intel graphics compiler

A Chandrasekhar, G Chen, PY Chen… - 2019 IEEE/ACM …, 2019 - ieeexplore.ieee.org
With increasing general purpose programming capability, GPUs have become the mainstay
for a wide variety of compute intensive tasks from cloud to edge computing. Because of its …

Decorated attribute grammars: Attribute evaluation meets strategic programming

LCL Kats, AM Sloane, E Visser - International Conference on Compiler …, 2009 - Springer
Attribute grammars are a powerful specification formalism for tree-based computation,
particularly for software language processing. Various extensions have been proposed to …

Formal verification of coalescing graph-coloring register allocation

S Blazy, B Robillard, AW Appel - European Symposium on Programming, 2010 - Springer
Abstract Iterated Register Coalescing (IRC) is a widely used heuristic for performing register
allocation via graph coloring. Many implementations in existing compilers follow (more or …

Orion: A framework for gpu occupancy tuning

AB Hayes, L Li, D Chavarría-Miranda, SL Song… - Proceedings of the 17th …, 2016 - dl.acm.org
An important feature of modern GPU architectures is variable occupancy. Occupancy
measures the ratio between the actual number of threads actively running on a GPU and the …

SSA-based register allocation with PBQP

S Buchwald, A Zwinkau, T Bersch - … Conference, CC 2011, Held as Part of …, 2011 - Springer
Recent research shows that maintaining SSA form allows to split register allocation into
separate phases: spilling, register assignment and copy coalescing. After spilling, register …

SSA elimination after register allocation

FMQ Pereira, J Palsberg - International Conference on Compiler …, 2009 - Springer
Compilers such as gcc use static-single-assignment (SSA) form as an intermediate
representation and usually perform SSA elimination before register allocation. But the order …