[图书][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 …
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 …
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 …
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 …
(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 …
for a wide variety of compute intensive tasks from cloud to edge computing. Because of its …
Decorated attribute grammars: Attribute evaluation meets strategic programming
Attribute grammars are a powerful specification formalism for tree-based computation,
particularly for software language processing. Various extensions have been proposed to …
particularly for software language processing. Various extensions have been proposed to …
Formal verification of coalescing graph-coloring register allocation
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 …
allocation via graph coloring. Many implementations in existing compilers follow (more or …
Orion: A framework for gpu occupancy tuning
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 …
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 …
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 …
representation and usually perform SSA elimination before register allocation. But the order …