Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Visualization of Program Dependence Graphs. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Franz Franchetti, Markus Püschel |
Generating SIMD Vectorized Permutations. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Atanas Rountev, Mariana Sharp, Guoqing Xu 0001 |
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Wang 0013, Victor Ying, Youfeng Wu |
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uday P. Khedker, Bageshri Karkare |
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic |
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001 |
Coqa: Concurrent Objects with Quantized Atomicity. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Manuel Fähndrich |
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marius Nita, Dan Grossman |
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laurie J. Hendren (eds.) |
Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Gogul Balakrishnan |
Improved Memory-Access Analysis for x86 Executables. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ghulam Lashari, Ondrej Lhoták, Michael McCool |
Control Flow Emulation on Tiled SIMD Architectures. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Bergeron, Marc Feeley, Jean-Pierre David |
Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Uday Bondhugula, Muthu Manikandan Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan |
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gregory B. Prokopski, Clark Verbrugge |
Compiler-Guaranteed Safety in Code-Copying Virtual Machines. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong |
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Junghee Lim, Thomas W. Reps |
A System for Generating Static Analyzers for Machine Instructions. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
An Adaptive Strategy for Inline Substitution. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jinseong Jeon, Keoncheol Shin, Hwansoo Han |
Layout Transformations for Heap Objects Using Static Access Patterns. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sigmund Cherem, Radu Rugina |
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Sarkar, Rajkishore Barik |
Extended Linear Scan: An Alternate Foundation for Global Register Allocation. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek |
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi, Martin Odersky (eds.) |
Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | K. Shyam, R. Govindarajan |
An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Grund, Sebastian Hack |
A Fast Cutting-Plane Algorithm for Optimal Coalescing. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Don S. Batory |
Program Refactoring, Program Synthesis, and Model-Driven Development. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Harel Paz, Erez Petrank |
Using Prefetching to Improve Reference-Counting Garbage Collectors. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Batchelder, Laurie J. Hendren |
Obfuscating Java: The Most Pain for the Least Gain. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Scholz, Johann Blieberger |
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Liza Fireman, Erez Petrank, Ayal Zaks |
New Algorithms for SIMD Alignment. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley |
Correcting the Dynamic Call Graph Using Control-Flow Constraints. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Doosan Cho, Ravi Ayyagari, Gang-Ryung Uh, Yunheung Paek |
Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann |
A Declarative Framework for Analysis and Optimization. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Santosh G. Nagarakatte, R. Govindarajan |
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa |
Lightweight Lexical Closures for Legitimate Execution Stack Access. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Simon D. Hammond, David Lacey |
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001 |
Polyhedral Code Generation in the Real World. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | V. Krishna Nandivada, Jens Palsberg |
SARA: Combining Stack Allocation and Register Allocation. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rajkishore Barik, Vivek Sarkar |
Enhanced Bitwidth-Aware Register Allocation. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jack Liu, Youfeng Wu |
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bolei Guo, Youfeng Wu, Cheng Wang 0013, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August |
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Lhoták, Laurie J. Hendren |
Context-Sensitive Points-to Analysis: Is It Worth It?. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
Data-Flow Analysis as Model Checking Within the jABC. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jingling Xue, Jens Knoop |
A Fresh Look at PRE as a Maximum Flow Problem. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Teck Bok Tok, Samuel Z. Guyer, Calvin Lin |
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Changpeng Fang, Steve Carr 0001, Soner Önder, Zhenlin Wang |
Path-Based Reuse Distance Analysis. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle |
Hybrid Optimizations: Which Optimization Algorithm to Use?. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Hack, Daniel Grund, Gerhard Goos |
Register Allocation for Programs in SSA-Form. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Atanas Rountev, Scott Kagan, Thomas J. Marlowe |
Interprocedural Dataflow Analysis in the Presence of Large Libraries. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula |
Using Dependent Types to Port Type Systems to Low-Level Languages. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alan Mycroft, Andreas Zeller (eds.) |
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 |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | João Dias, Norman Ramsey |
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Lucas 0001, Nicolas Fritz, Reinhard Wilhelm |
The CGiS Compiler-A Tool Demonstration. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas J. Ashby, Michael F. P. O'Boyle |
Iterative Collective Loop Fusion. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Liang Guo, Abhik Roychoudhury, Tao Wang |
Accurately Choosing Execution Runs for Software Fault Localization. |
CC |
2006 |
DBLP DOI BibTeX RDF |
Debugging, Programming tools |
1 | Weihua Jiang, Chao Mei, Bo Huang 0002, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu |
Boosting the Performance of Multimedia Applications Using SIMD Instructions. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík (eds.) |
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Harel Paz, Erez Petrank, Stephen M. Blackburn |
Age-Oriented Concurrent Garbage Collection. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan |
An Efficient On-the-Fly Cycle Collection. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Zeller |
When Abstraction Fails. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Feng Qian, Laurie J. Hendren |
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Jazz: A Tool for Demand-Driven Structural Testing. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Verification of Source Code Transformations by Program Equivalence Checking. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sukyoung Ryu, Norman Ramsey |
Source-Level Debugging for Multiple Languages with Modest Programming Effort. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Lam 0001, Viktor Kuncak, Martin C. Rinard |
Hob: A Tool for Verifying Data Structure Consistency. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani |
Compilation of Generic Regular Path Expressions Using C++ Class Templates. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks |
A Compiler-Based Approach to Data Security. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ennals, Richard Sharp, Alan Mycroft |
Task Partitioning for Multi-core Network Processors. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Condit, George C. Necula |
Data Slicing: Separating the Heap into Independent Regions. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
XML Goes Native: Run-Time Representations for Xtatic. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Karina Olmos, Eelco Visser |
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Casey, David Gregg, M. Anton Ertl |
Tiger - An Interpreter Generation Tool. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jingling Xue, Phung Hua Nguyen |
Completeness Analysis for Incomplete Object-Oriented Programs. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yair Sade, Shmuel Sagiv, Ran Shaham |
Optimizing C Multithreaded Memory Management Using Thread-Local Storage. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
Experiences with Enumeration of Integer Projections of Parametric Polytopes. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anatole Le, Ondrej Lhoták, Laurie J. Hendren |
Using Inter-Procedural Side-Effect Information in JIT Optimizations. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum |
CodeSurfer/x86-A Platform for Analyzing x86 Executables. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral |
Generalized Index-Set Splitting. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Evelyn Duesterwald (eds.) |
Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Byoungro So, Mary W. Hall |
Increasing the Applicability of Scalar Replacement. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tong Chen 0010, Jin Lin, Xiaoru Dai, Wei-Chung Hsu, Pen-Chung Yew |
Data Dependence Profiling for Speculative Optimizations. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Redwine, Norman Ramsey |
Widening Integer Arithmetic. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Clauss, Irina Tchoupaeva |
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Thomas W. Reps |
Analyzing Memory Accesses in x86 Executables. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rezaul Alam Chowdhury, Peter Djeu, Brendon Cahoon, James H. Burrill, Kathryn S. McKinley |
The Limits of Alias Analysis for Scalar Optimizations. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Lindig, Norman Ramsey |
Declarative Composition of Stack Frames. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Neil Johnson 0002, Alan Mycroft |
Using Multiple Memory Access Instructions for Reducing Code Size. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tim Owen, Des Watson |
Reducing the Cost of Object Boxing. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Emre Özer 0001, Andy Nisbet, David Gregg |
Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Meister |
Periodic Polyhedra. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas VanDrunen, Antony L. Hosking |
Value-Based Partial Redundancy Elimination. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Scott McPeak, George C. Necula |
Elkhound: A Fast, Practical GLR Parser Generator. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, Peter Wurzinger |
FFT Compiler Techniques. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren |
Integrating the Soot Compiler Infrastructure into an IDE. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Qiong Cai, Lin Gao 0002, Jingling Xue |
Region-Based Partial Dead Code Elimination on Predicated Code. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Erin Parker, Siddhartha Chatterjee |
An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos |
Generalised Parsing: Some Costs. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mary Lou Soffa |
Developing a Foundation for Code Optimization. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Prasad Ranganath, John Hatcliff |
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|