Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Cédric Bastoul, Paul Feautrier |
Improving Data Locality by Chunking. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hezi Azatchi, Erez Petrank |
Integrating Generations with Advanced Reference Counting Garbage Collectors. |
CC |
2003 |
DBLP DOI BibTeX RDF |
Garbage collection, Memory management, Runtime systems, Generational Garbage Collection |
1 | Adrian Johnstone, Elizabeth Scott |
Generalised Regular Parsers. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christopher League, Zhong Shao, Valery Trifonov |
Precision in Practice: A Type-Preserving Java Compiler. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
A New One-Pass Transformation into Monadic Normal Form. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers |
Polyglot: An Extensible Compiler Framework for Java. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Somnath Ghosh, Abhay Kanhere, Rakesh Krishnaiyer, Dattatraya Kulkarni, Wei Li 0015, Chu-Cheow Lim, John Ng |
Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Melski, Thomas W. Reps |
The Interprocedural Express-Lane Transformation. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek |
A Pattern Matching Compiler for Multiple Target Languages. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Barbara G. Ryder |
Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kees van Reeuwijk |
Rapid and Robust Compiler Construction Using Template-Based Metacompilation. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Gagnon, Laurie J. Hendren |
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Leupers |
Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sid Ahmed Ali Touati, Christine Eisenbeis |
Early Control of Register Pressure for Software Pipelined Loops. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn |
A Compilation and Optimization Model for Aspect-Oriented Programs. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Görel Hedin (eds.) |
Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christian Andersson |
Register Allocation by Optimal Graph Coloring. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | C. A. R. Hoare |
The Verifying Compiler: A Grand Challenge for Computing Research. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Neil Johnson 0002, Alan Mycroft |
Combined Code Motion and Register Allocation Using the Value State Dependence Graph. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Lhoták, Laurie J. Hendren |
Scaling Java Points-to Analysis Using SPARK. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho |
Automatic Detection of Uninitialized Variables. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Burrows, Stephen N. Freund, Janet L. Wiener |
Run-Time Type Checking for Binary Programs. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mahmut T. Kandemir, Mary Jane Irwin, Guilin Chen, J. Ramanujam |
Address Register Assignment for Reducing Code Size. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pramod G. Joisha, Prithviraj Banerjee |
The MAGICA Type Inference Engine for MATLAB. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
1 | William Thies, Michal Karczmarek, Saman P. Amarasinghe |
StreamIt: A Language for Streaming Applications. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Oren, Yossi Matias, Shmuel Sagiv |
Online Subpath Profiling. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hanspeter Mössenböck, Michael Pfeiffer 0004 |
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fergus Henderson, Zoltan Somogyi |
Compiling Mercury to High-Level C Code. |
CC |
2002 |
DBLP DOI BibTeX RDF |
programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury |
1 | Rajiv Gupta 0001, Eduard Mehofer, Youtao Zhang |
A Representation for Bit Section Based Analysis and Optimization. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mahmut T. Kandemir, Ibrahim Kolcu, Ismail Kadayif |
Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gagan Agrawal, Jinqian Li, Qi Su |
Evaluating a Demand Driven Technique for Call Graph Construction. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser |
Disambiguation Filters for Scannerless Generalized LR Parsers. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Feng Qian, Laurie J. Hendren, Clark Verbrugge |
A Comprehensive Approach to Array Bounds Check Elimination for Java. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrea G. M. Cilio, Henk Corporaal |
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |
LISA: An Interactive Environment for Programming Language Development. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Frédéric Lang, Radu Mateescu 0001 |
Compiler Construction Using LOTOS NT. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | M. Anton Ertl, David Gregg |
Building an Interpreter with Vmgen. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky |
Effective Enhancement of Loop Versioning in Java. |
CC |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time compilation, Java, performance, loop optimizations |
1 | Siddharth Rele, Santosh Pande, Soner Önder, Rajiv Gupta 0001 |
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Youfeng Wu, Mauricio J. Serrano, Rakesh Krishnaiyer, Wei Li 0015, Jesse Fang |
Value-Profile Guided Stride Prefetching for Irregular Code. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | R. Nigel Horspool (eds.) |
Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gschwind, Erik R. Altman |
Precise Exception Semantics in Dynamic Compilation. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Markus Mohnen |
A Graph-Free Approach to Data-Flow Analysis. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Miecznikowski, Laurie J. Hendren |
Decompiling Java Bytecode: Problems, Traps and Pitfalls. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski |
Forwarding in Attribute Grammars for Modular Language Design. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Youtao Zhang, Rajiv Gupta 0001 |
Data Compression Transformations for Dynamically Allocated Data Structures. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Modular Static Program Analysis. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Atanas Rountev, Barbara G. Ryder |
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Björn Franke, Michael F. P. O'Boyle |
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sid Ahmed Ali Touati |
Register Saturation in Superscalar and VLIW Codes. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kalyan Muthukumar, Gautam Doshi |
Software Pipelining of Nested Loops. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Radu Rugina, Martin C. Rinard |
Design-Driven Compilation. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu |
User-Extensible Simplification - Type-Based Optimizer Generators. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Noam Rinetzky, Shmuel Sagiv |
Interprocedural Shape Analysis for Recursive Programs. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt 0002 |
Visual Patterns in the VLEli System. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ole Lehrmann Madsen |
Virtual Classes and Their Implementation. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge |
A Framework for Optimizing Java Using Attributes. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Martena, Pierluigi San Pietro |
Alias Analysis by Means of a Model Checker. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Wilhelm (eds.) |
Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet |
Speculative Prefetching of Induction Pointers. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier |
SmartTools: A Generator of Interactive Environments Tools. |
CC |
2001 |
DBLP DOI BibTeX RDF |
Software development, Program transformation, Interactive Environment |
1 | Mahmut T. Kandemir |
Array Unification: A Locality Optimization Technique. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Mehofer, Bernhard Scholz |
A Novel Probabilistic Data Flow Framework. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fridtjof Siebert |
Constant-Time Root Scanning for Deterministic Garbage Collection. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Caroline Tice, Susan L. Graham |
A Practical, Robust Method for Generating Variable Range Tables. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David Gregg |
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Ottoni, Sandro Rigo, Guido Araujo, Subramanian Rajagopalan, Sharad Malik |
Optimal Live Range Merge for Address Register Allocation in Embedded Programs. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Han-Saem Yun, Jihong Kim 0001, Soo-Mook Moon |
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Aycock, R. Nigel Horspool |
Directly-Executable Earley Parsing. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert van Engelen |
Efficient Symbolic Analysis for Optimizing Compilers. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | David Lacey, Oege de Moor |
Imperative Program Transformation by Rewriting. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser 0001 |
The ASF+SDF Meta-environment: A Component-Based Language Development Environment. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Farré, José Fortes Gálvez |
A Bounded Graph-Connect Construction for LR-regular Parsers. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Scott A. Watterson, Saumya K. Debray |
Goal-Directed Value Profiling. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps |
Shape Analysis. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gang-Ryung Uh, Yuhong Wang, David B. Whalley, Sanjay Jinturkar, Chris Burns, Vincent Cao |
Techniques for Effectively Exploiting a Zero Overhead Loop Buffer. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper |
Functional Incremental Attribute Evaluation. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jens Knoop, Oliver Rüthing |
Constant Propagation on the Value Graph: Simple Constants and Beyond. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Hao Yu 0008, Lawrence Rauchwerger |
Techniques for Reducing the Overhead of Run-Time Parallelization. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Gay, Bjarne Steensgaard |
Fast Escape Analysis and Stack Allocation for Object-Based Programs. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Compiling Adaptive Programs by Partial Evaluation. |
CC |
2000 |
DBLP DOI BibTeX RDF |
compilation, semantics, object-oriented programming |
1 | Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah |
A Static Study of Java Exceptions Using JESP. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Lin, David A. Padua |
Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lei Wang, Waibhav Tembe, Santosh Pande |
A Framework for Loop Distribution on Limited On-Chip Memory Processors. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David A. Watt (eds.) |
Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dae-Hwan Kim |
Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Gregg |
Global Software Pipelining with Iteration Preselection. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gagan Agrawal |
Demand-Driven Construction of Call Graphs. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam 0001, Patrice Pominville, Vijay Sundaresan |
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Aycock, R. Nigel Horspool |
Simple Generation of Static Single-Assignment Form. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Florence Maraninchi, Yann Rémond, Yannick Raoul |
MATOU: An Implementation of Mode-Automata. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoogerbrugge, Lex Augusteijn |
Pipelined Java Virtual Machine Interpreters. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Roth |
Advanced Scalarization of Array Syntax. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv |
Automatic Removal of Array Memory Leaks in Java. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrea G. M. Cilio, Henk Corporaal |
Floating Point to Fixed Point Conversion of C Code. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Florian Martin 0001 |
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Gupta 0001, Rastislav Bodík |
Register Pressure Sensitive Redundancy Elimination. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Dupont de Dinechin |
Extending Modulo Scheduling with Memory Reference Merging. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Aycock, R. Nigel Horspool |
Faster Generalized LR Parsing. |
CC |
1999 |
DBLP DOI BibTeX RDF |
|