Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	William Blume, Rudolf Eigenmann	Performance Analysis of Parallelizing Compilers on the Perfect Benchmarks Programs.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	Perfect Benchmarks codes, individualrestructuring techniques, real programs, compiler technology, parallel programming, program testing, program compilers, automatic programming, automatic parallelization, loops, performance gains, program performance
25	R. Nigel Horspool	ILALR: An Incremental Generator of LALR(1) Parsers.	CC	1988	DBLP DOI BibTeX RDF	and Key Phrases parsers, LALR(1), compilers, incremental algorithms
25	I. J. Good 0001	Letters to the editor: number of possible strategies when writing compilers.	Commun. ACM	1968	DBLP DOI BibTeX RDF	program notation, compilers, program translation
25	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
25	Vivek Sarkar	Challenges in Code Optimization of Parallel Programs.	CC	2009	DBLP DOI BibTeX RDF
25	Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan	Reusable, generic program analyses and transformations.	GPCE	2009	DBLP DOI BibTeX RDF	compiler optimization, generic programming
25	Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner	Formal Verification of Dead Code Elimination in Isabelle/HOL.	SEFM	2005	DBLP DOI BibTeX RDF
25	Atze Dijkstra, S. Doaitse Swierstra	Typing Haskell with an Attribute Grammar.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
25	Mark W. Bailey, Jack W. Davidson	Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Target-sensitive test suite generation, automatic fault isolation, procedure-calling convention, compiler testing and debugging, code generation
25	Spyridon Triantafyllis, Manish Vachharajani, Neil Vachharajani, David I. August	Compiler Optimization-Space Exploration.	CGO	2003	DBLP DOI BibTeX RDF
25	Yoichi Omori, Akira Fukuda, Kazuki Joe	An Object-Oriented Framework for Loop Parallelization.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	object-oriented design, portability, parallelizing compiler, loop parallelization, OMT
25	Manuel V. Hermenegildo	Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF	Pointer Aliasing Analysis, Task Granularity Control, Abstract Interpretation, Automatic Parallelization, Speculation, Global Analysis, Irregular Computations
25	Farooq Butt	Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	C++
25	Mark W. Bailey, Jack W. Davidson	Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators.	PLDI	1996	DBLP DOI BibTeX RDF
25	Johan Ringström, Peter Fritzson, Mikael Pettersson	Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.	CC	1994	DBLP DOI BibTeX RDF
25	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
25	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
25	Lindsay Groves	Using Simple English Sentences to Call Procedures.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
25	Alfred V. Aho, Susan L. Graham	Tools For Automatic Compiler Generation (Panel Discussion).	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
23	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
23	Harmen L. A. van der Spek, Sven Groot, Erwin M. Bakker, Harry A. G. Wijshoff	A Compile/Run-time Environment for the Automatic Transformation of Linked List Data Structures.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Linked list data structures, Parallel processing, Optimizing compilers
23	Manuel Hohenauer, Christoph Schumacher, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Hans van Someren 0001	Retargetable code optimization with SIMD instructions.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	SIMD, vectorization, subword parallelism, retargetable compilers
23	Vijay Menon 0002, Keshav Pingali, Nikolay Mateev	Fractal symbolic analysis.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Compilers, program transformation, program optimization, symbolic analysis
23	Jack L. Lo, Susan J. Eggers, Henry M. Levy, Sujay S. Parekh, Dean M. Tullsen	Tuning Compiler Optimizations for Simultaneous Multithreading.	MICRO	1997	DBLP DOI BibTeX RDF	cyclic algorithm, fine-grained sharing, inter-thread instruction-level parallelism, loop-iteration scheduling, memory system resources, software speculative execution, performance, parallel programs, parallel architecture, compiler optimizations, shared-memory multiprocessors, processor architecture, instructions, simultaneous multithreading, latency hiding, loop tiling, optimising compilers, inter-processor communication, cache size
23	Martin C. Rinard, Pedro C. Diniz	Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations.	IPPS	1996	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, parallelizing compilers, symbolic analysis
23	Milind Girkar, Constantine D. Polychronopoulos	Extracting Task-Level Parallelism	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	control and data dependence, synchronization, code generation, parallelizing compilers
22	Aart J. C. Bik, Peter Brinkhaus, Peter M. W. Knijnenburg, Harry A. G. Wijshoff	The Automatic Generation of Sparse Primitives.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	data structure transformations, compilers, sparse matrix computations, restructuring compilers, sparse BLAS
22	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization.	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
22	Reiner W. Hartenstein, Jürgen Becker 0001, Michael Herz, Rainer Kress 0002, Ulrich Nageldinger	A Partitioning Programming Environment for a Novel Parallel Architecture.	IPPS	1996	DBLP DOI BibTeX RDF	partitioning programming environment, novel parallel architecture, embedded accelerator, reconfigurable datapath hardware, accelerator partitioning, profiling-driven partitioning, resource-driven sequential partitioning, resource-driven structural partitioning, parallel architectures, software tools, programming environments, reconfigurable architectures, software performance evaluation, parallelizing compiler, performance optimization, program interpreters, parallelising compilers, parallelizing programming environment, optimising compilers, C programs
22	William Blume, Rudolf Eigenmann	Symbolic range propagation.	IPPS	1995	DBLP DOI BibTeX RDF	symbolic range propagation, arbitrary symbolic expressions, Polaris, zero-trip loops, array sections, loop iteration-count estimation, lower bound, transformations, program test, program compilers, upper bound, parallelizing compiler, symbol manipulation, parallelising compilers
22	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS (2)	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
22	J. Stan Cox, David P. Howell, Thomas M. Conte	Commercializing profile-driven optimization.	HICSS (1)	1995	DBLP DOI BibTeX RDF	profile-driven optimization, commercialisation, code-improving optimization, profile information, software vendors, system code, I/O drivers, AT&T Global Information Solutions, hardware-based profiling, profile system code, software business community, scheduling, compile, debugging, optimisation, profiling, program compilers, kernel, software performance evaluation, program debugging, program execution, optimising compilers, scheduling techniques
22	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++.	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
22	Pradeep K. Dubey, Michael J. Flynn	Branch Strategies: Modeling and Optimization.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	branch-delay penalty, instruction bandwidth, i-traffic, wasted instruction fetches, active branch prediction, loop buffers, parallel programming, compilers, program compilers, pipeline processing, pipelined processors, branch-target-buffer
22	Laurie J. Hendren, Alexandru Nicolau	Parallelizing Programs with Recursive Data Structures.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	disambiguation techniques, interference analysis tools, parallelization techniques, dynamically updatable trees, regular-expression-like representation, accessible nodes, parallel programming, data structures, directed graphs, interference, program compilers, trees (mathematics), directed acyclic graphs, parallelizing compilers, automatic parallelization, dynamic data structures, parallel programming languages, recursive data structures, imperative programs, imperative language
22	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
22	Vicki H. Allan, Robert A. Mueller	Compaction with General Timing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	general synchronous timing, microcode generation systems, branch delays, volatile registers, microoperations, multiple microinstructions, clocked microarchitectures, compilers, synchronisation, program compilers, microprogramming, target architecture, data-dependency graphs
22	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
22	Robert I. Winner	Naming and Binding in a vertical Migration Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	vertical migration environment, maximum performance, linkage editing process, micro-objects, data structures, compilers, abstractions, program compilers, object-oriented model, binding, naming, microprogramming, microcode
22	Helen V. Braden, William A. Wulf	The implementation of a BASIC system in a multiprogramming environment.	Commun. ACM	1968	DBLP DOI BibTeX RDF	incremental compilation compilers, compilers, interpreters, multiprogramming
21	Weijia Li, Youtao Zhang	An efficient code update scheme for DSP applications in mobile embedded systems.	LCTES	2010	DBLP DOI BibTeX RDF	context-aware script, context-unaware script, incremental coalescing general offset assignment (icgoa), incremental coalescing simple offset assignment (icsoa)
21	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate translation for optimizing compilers.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	static analysis, program verification, program optimizations, Proof-carrying code
21	Paul Biggar, Edsko de Vries, David Gregg	A practical solution for scripting language compilers.	SAC	2009	DBLP DOI BibTeX RDF
21	Per Stenström, David B. Whalley	Introduction.	Trans. High Perform. Embed. Archit. Compil.	2009	DBLP DOI BibTeX RDF
21	Dietmar Ebner, Bernhard Scholz, Andreas Krall	Progressive spill code placement.	CASES	2009	DBLP DOI BibTeX RDF	constrained min-cut, spilling, register allocation, SSA form
21	Keita Imada, Katsuhiko Nakamura	Towards Machine Learning of Grammars and Compilers of Programming Languages.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF
21	John Cavazos	Intelligent compilers.	CLUSTER	2008	DBLP DOI BibTeX RDF
21	Xavier Teruel, Priya Unnikrishnan, Xavier Martorell, Eduard Ayguadé, Raúl Silvera, Guansong Zhang, Ettore Tiotto	OpenMP tasks in IBM XL compilers.	CASCON	2008	DBLP DOI BibTeX RDF
21	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
21	Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana	A fully-non-transparent approach to the code location problem.	SCOPES	2008	DBLP DOI BibTeX RDF
21	Hesham S. Ali, Hatem M. El-Boghdadi, Samir I. Shaheen	A new heuristic for SOA problem based on effective tie break function.	SCOPES	2008	DBLP DOI BibTeX RDF
21	Alastair Colin Murray, Björn Franke	Fast source-level data assignment to dual memory banks.	SCOPES	2008	DBLP DOI BibTeX RDF
21	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Control flow optimization in loops using interval analysis.	CASES	2008	DBLP DOI BibTeX RDF	algorithmic code transformation, compiler loop optimization, interval analysis
21	Qing Yi, Apan Qasem	Exploring the Optimization Space of Dense Linear Algebra Kernels.	LCPC	2008	DBLP DOI BibTeX RDF
21	Xipeng Shen, Jonathan Shaw	Scalable Implementation of Efficient Locality Approximation.	LCPC	2008	DBLP DOI BibTeX RDF
21	Sergey V. Zelenov, Sophia A. Zelenova	Model-Based Testing of Optimizing Compilers.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	compiler testing, formalization of requirements, formal data model, model based testing, test data generation
21	Md. Mafijul Islam	On the Limitations of Compilers to Exploit Thread-Level Parallelism in Embedded Applications.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
21	Gyun Woo, Heung Seok Chae, Hanil Jang	An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.	Ada-Europe	2007	DBLP DOI BibTeX RDF
21	Per Stenström	Introduction to Part 1.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
21	Shane Ryoo, Sain-Zee Ueng, Christopher I. Rodrigues, Robert E. Kidd, Matthew I. Frank, Wen-mei W. Hwu	Automatic Discovery of Coarse-Grained Parallelism in Media Applications.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
21	François de Ferrière	Improvements to the Psi-SSA representation.	SCOPES	2007	DBLP DOI BibTeX RDF
21	Stefan Schäckeler, Weijia Shang	Stack size reduction of recursive programs.	CASES	2007	DBLP DOI BibTeX RDF	stack size reduction, embedded systems, recursion
21	Yuan Lin 0002, Manjunath Kudlur, Scott A. Mahlke, Trevor N. Mudge	Hierarchical coarse-grained stream compilation for software defined radio.	CASES	2007	DBLP DOI BibTeX RDF	MPSoC compilation, dataflow programming model, software defined radio, modulo scheduling
21	Christopher Zimmer 0001, Stephen Roderick Hines, Prasad A. Kulkarni, Gary S. Tyson, David B. Whalley	Facilitating compiler optimizations through the dynamic mapping of alternate register structures.	CASES	2007	DBLP DOI BibTeX RDF	register queues, compiler optimizations, software pipelining
21	Florian Brandner, Dietmar Ebner, Andreas Krall	Compiler generation from structural architecture descriptions.	CASES	2007	DBLP DOI BibTeX RDF	ADL, architecture description, retargetable compiler
21	Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou	An Effective Automated Approach to Specialization of Code.	LCPC	2007	DBLP DOI BibTeX RDF
21	Tiziana Margaria, Oliver Rüthing, Bernhard Steffen	ViDoC - Visual Design of Optimizing Compilers.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
21	William Jalby, Oscar G. Plata, Barbara M. Chapman, Paul H. J. Kelly	Topic 4: Compilers for High Performance.	Euro-Par	2006	DBLP DOI BibTeX RDF
21	Laxmikant V. Kalé	New parallel programming abstractions and the role of compilers.	IPDPS	2006	DBLP DOI BibTeX RDF
21	Li Xu, Fred G. Martin	Chirp on crickets: teaching compilers using an embedded robot controller.	SIGCSE	2006	DBLP DOI BibTeX RDF	virtual machine, embedded processor, compiler construction, educational robotics, language processing
21	Vikki Tang, Joran Siu, Alexander Vasilevskiy, Marcel Mitran	A framework for reducing instruction scheduling overhead in dynamic compilers.	CASCON	2006	DBLP DOI BibTeX RDF
21	Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson	In search of near-optimal optimization phase orderings.	LCTES	2006	DBLP DOI BibTeX RDF	genetic algorithms, exhaustive search, phase ordering
21	David A. Patterson 0001	The Berkeley View: A New Framework and a New Platform for Parallel Research.	LCPC	2006	DBLP DOI BibTeX RDF
21	Kevin Andrusky, Stephen Curial, José Nelson Amaral	Tree-Traversal Orientation Analysis.	LCPC	2006	DBLP DOI BibTeX RDF
21	Constantino G. Ribeiro, Marcelo Cintra	Quantifying Uncertainty in Points-To Relations.	LCPC	2006	DBLP DOI BibTeX RDF
21	Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois	Iterative Compilation with Kernel Exploration.	LCPC	2006	DBLP DOI BibTeX RDF
21	Naoyasu Ubayashi, Tetsuo Tamai	Concern management for constructing model compilers.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
21	Qiang Tang 0001, Chris J. Mitchell	Efficient Compilers for Authenticated Group Key Exchange.	CIS (2)	2005	DBLP DOI BibTeX RDF
21	Björn Franke, Michael F. P. O'Boyle, John Thomson, Grigori Fursin	Probabilistic source-level optimisation of embedded programs.	LCTES	2005	DBLP DOI BibTeX RDF	source-level optimization, digital signal processing, iterative compilation, adaptive compilation, feedback-directed optimization
21	Kevin K. Chang, David Gay	Language Support for Interoperable Messaging in Sensor Networks.	SCOPES	2005	DBLP DOI BibTeX RDF	sensor networks, heterogeneous networks, data layout
21	Chia-Jui Hsu, Shuvra S. Bhattacharyya	Software Synthesis from the Dataflow Interchange Format.	SCOPES	2005	DBLP DOI BibTeX RDF	DIF, dataflow interchange format, software synthesis
21	Montserrat Ros, Peter Sutton	A post-compilation register reassignment technique for improving hamming distance code compression.	CASES	2005	DBLP DOI BibTeX RDF	register reassignment, hamming distance, code compression
21	Silvius Vasile Rus, Guobin He, Lawrence Rauchwerger	Scalable Array SSA and Array Data Flow Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
21	Arkady Epshteyn, María Jesús Garzarán, Gerald DeJong, David A. Padua, Gang Ren 0002, Xiaoming Li 0004, Kamen Yotov, Keshav Pingali	Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization.	LCPC	2005	DBLP DOI BibTeX RDF
21	Chi-Leung Wong, Zehra Sura, Xing Fang, Kyungwoo Lee, Samuel P. Midkiff, Jaejin Lee, David A. Padua	Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler.	LCPC	2005	DBLP DOI BibTeX RDF
21	Xiaoming Li 0004, María Jesús Garzarán	Optimizing Matrix Multiplication with a Classifier Learning System.	LCPC	2005	DBLP DOI BibTeX RDF
21	Sébastien Donadio, James C. Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen 0001, María Jesús Garzarán, David A. Padua, Keshav Pingali	A Language for the Compact Representation of Multiple Program Versions.	LCPC	2005	DBLP DOI BibTeX RDF
21	Xipeng Shen, Chen Ding 0001	Parallelization of Utility Programs Based on Behavior Phase Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
21	Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary	Dynamic Compilation for Reducing Energy Consumption of I/O-Intensive Applications.	LCPC	2005	DBLP DOI BibTeX RDF
21	Xiaogang Li 0001, Gagan Agrawal	Code Transformations for One-Pass Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
21	Per Stenström	The Chip-Multiprocessing Paradigm Shift: Opportunities and Challenges.	HiPEAC	2005	DBLP DOI BibTeX RDF
21	Hui Wang 0054, Minyi Guo, Daming Wei	Effcient List Algorithms for Irregular Block Redistribution in Parallelizing Compilers.	CIT	2004	DBLP DOI BibTeX RDF
21	W. Wolf	Architectures and compilers for multimedia.	ISPASS	2004	DBLP DOI BibTeX RDF
21	I. M. Forsythe, Peter Milligan, Paul Sage	Probabilistic Program Analysis for Parallelizing Compilers.	VECPAR	2004	DBLP DOI BibTeX RDF
21	Gilberto Contreras, Margaret Martonosi, Jinzhan Peng, Roy Ju, Guei-Yuan Lueh	XTREM: a power simulator for the Intel XScale® core.	LCTES	2004	DBLP DOI BibTeX RDF	XORP, XScale, Java, power modeling, hardware performance counters, power measurements
21	Lingli Zhang, Chandra Krintz	Adaptive code unloading for resource-constrained JVMs.	LCTES	2004	DBLP DOI BibTeX RDF	code unloading, JVM, code-size reduction, JIT, resource-constrained devices
21	Lian Li 0002, Jingling Xue	A trace-based binary compilation framework for energy-aware computing.	LCTES	2004	DBLP DOI BibTeX RDF	energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation
21	Wei Qin, Subramanian Rajagopalan, Sharad Malik	A formal concurrency model based architecture description language for synthesis of software development tools.	LCTES	2004	DBLP DOI BibTeX RDF
21	Adrian Johnstone, Elizabeth Scott	Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis.	SCOPES	2004	DBLP DOI BibTeX RDF
21	Wei Zhang 0002, Bramha Allu	Loop-based leakage control for branch predictors.	CASES	2004	DBLP DOI BibTeX RDF	compiler, branch prediction, leakage energy