Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. CC 2006: Vienna, Austria (Part of ETAPS 2006)
- Alan Mycroft, Andreas Zeller:
Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings. Lecture Notes in Computer Science 3923, Springer 2006, ISBN 3-540-33050-X
Invited Talk
- George C. Necula:
Using Dependent Types to Port Type Systems to Low-Level Languages. 1
Program Analysis
- Atanas Rountev, Scott Kagan, Thomas J. Marlowe:
Interprocedural Dataflow Analysis in the Presence of Large Libraries. 2-16 - Teck Bok Tok, Samuel Z. Guyer, Calvin Lin:
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. 17-31 - Changpeng Fang, Steve Carr, Soner Önder, Zhenlin Wang:
Path-Based Reuse Distance Analysis. 32-46 - Ondrej Lhoták, Laurie J. Hendren:
Context-Sensitive Points-to Analysis: Is It Worth It?. 47-64
Dynamic Analysis
- Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August:
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. 65-79 - Liang Guo, Abhik Roychoudhury, Tao Wang:
Accurately Choosing Execution Runs for Software Fault Localization. 80-95
Tool Demonstrations
- David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan:
Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. 96-100 - Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen:
Data-Flow Analysis as Model Checking Within the jABC. 101-104 - Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm:
The CGiS Compiler-A Tool Demonstration. 105-108
Optimization
- Simon D. Hammond, David Lacey:
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. 109-123 - John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle:
Hybrid Optimizations: Which Optimization Algorithm to Use?. 124-138 - Jingling Xue
, Jens Knoop:
A Fresh Look at PRE as a Maximum Flow Problem. 139-154 - Jack Liu, Youfeng Wu:
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective. 155-169
Code Generation
- Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa:
Lightweight Lexical Closures for Legitimate Execution Stack Access. 170-184 - Nicolas Vasilache, Cédric Bastoul, Albert Cohen:
Polyhedral Code Generation in the Real World. 185-201 - Thomas J. Ashby, Michael F. P. O'Boyle:
Iterative Collective Loop Fusion. 202-216 - João Dias, Norman Ramsey:
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. 217-231
Register Allocation
- V. Krishna Nandivada, Jens Palsberg:
SARA: Combining Stack Allocation and Register Allocation. 232-246 - Sebastian Hack, Daniel Grund, Gerhard Goos:
Register Allocation for Programs in SSA-Form. 247-262 - Rajkishore Barik, Vivek Sarkar:
Enhanced Bitwidth-Aware Register Allocation. 263-276
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
