| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Oege de Moor, Michael I. Schwartzbach (eds.) |
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings   |
CC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Knights, Todd Mytkowicz, Peter F. Sweeney, Michael C. Mozer, Amer Diwan |
Blind Optimization for Exploiting Hardware Features. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Größlinger |
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes. |
CC |
2009 |
DBLP DOI BibTeX RDF |
software-managed data cache, array localisation, polyhedron model, embedded systems, scratchpad memory |
| 1 | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
Extensible Proof-Producing Compilation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Braun, Sebastian Hack |
Register Spilling and Live-Range Splitting for SSA-Form Programs. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard |
Implementation and Use of Transactional Memory with Dynamic Separation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samah Abu-Mahmeed, Cheryl McCosh, Zoran Budimlic, Ken Kennedy, Kaushik Ravindran, Kevin Hogan, Paul Austin, Steve Rogers, Jacob Kornerup |
Scheduling Tasks to Maximize Usage of Aggregate Variables in Place. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgios Economopoulos, Paul Klint, Jurgen J. Vinju |
Faster Scannerless GLR Parsing. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards |
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. |
CC |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Synchronization, Static Analysis, Clocks, X10, NuSMV |
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
A Framework for Exploring Optimization Properties. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Warburton, Sara Kalvala |
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Padioleau |
Parsing C/C++ Code without Pre-processing. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren Dao, Jeannie R. Albrecht, Charles Edwin Killian, Amin Vahdat |
Live Debugging of Distributed Systems. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser |
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Sarkar |
Challenges in Code Optimization of Parallel Programs. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Umar Farooq, Lizy K. John |
Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures. |
CC |
2009 |
DBLP DOI BibTeX RDF |
tiled dataflow architectures, operand network latency, instruction scheduling, resource contention |
| 1 | Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi |
Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annette Bieniusa, Peter Thiemann |
How to CPS Transform a Monad. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Gao 0002, Lian Li 0002, Jingling Xue, Tin-Fook Ngai |
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. |
CC |
2009 |
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 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 | Gregory B. Prokopski, Clark Verbrugge |
Compiler-Guaranteed Safety in Code-Copying Virtual Machines. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Visualization of Program Dependence Graphs. |
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 | Yu David Liu, Xiaoqi Lu, Scott F. Smith |
Coqa: Concurrent Objects with Quantized Atomicity. |
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 | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
An Adaptive Strategy for Inline Substitution. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Cunningham, Khilan Gudka, Susan Eisenbach |
Keep Off the Grass: Locking the Right Path for Atomicity. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov |
Java Bytecode Verification for @NonNull Types. |
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 | Thomas W. Reps, Gogul Balakrishnan |
Improved Memory-Access Analysis for x86 Executables. |
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 | Michael I. Schwartzbach |
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Wang, 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 | Marius Nita, Dan Grossman |
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Rountev, Mariana Sharp, Guoqing Xu |
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Franchetti, Markus Püschel |
Generating SIMD Vectorized Permutations. |
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 | 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 | 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 | 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 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 | Michael Batchelder, Laurie J. Hendren |
Obfuscating Java: The Most Pain for the Least Gain. |
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 | Sigmund Cherem, Radu Rugina |
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. |
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 | Liza Fireman, Erez Petrank, Ayal Zaks |
New Algorithms for SIMD Alignment. |
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 | Jinseong Jeon, Keoncheol Shin, Hwansoo Han |
Layout Transformations for Heap Objects Using Static Access Patterns. |
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 | 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 | Harel Paz, Erez Petrank |
Using Prefetching to Improve Reference-Counting Garbage Collectors. |
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 | Bernhard Scholz, Johann Blieberger |
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. |
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 | 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 BibTeX RDF |
|
| 1 | Thomas J. Ashby, Michael F. P. O'Boyle |
Iterative Collective Loop Fusion. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Changpeng Fang, Steve Carr, Soner Önder, Zhenlin Wang |
Path-Based Reuse Distance Analysis. |
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 | Rajkishore Barik, Vivek Sarkar |
Enhanced Bitwidth-Aware Register Allocation. |
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 | Liang Guo, Abhik Roychoudhury, Tao Wang |
Accurately Choosing Execution Runs for Software Fault Localization. |
CC |
2006 |
DBLP DOI BibTeX RDF |
Debugging, Programming tools |
| 1 | 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. |
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 | Simon Hammond, David Lacey |
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. |
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 | Ondrej Lhoták, Laurie J. Hendren |
Context-Sensitive Points-to Analysis: Is It Worth It?. |
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 | Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm |
The CGiS Compiler-A Tool Demonstration. |
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 | George C. Necula |
Using Dependent Types to Port Type Systems to Low-Level Languages. |
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 | 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 | Nicolas Vasilache, Cédric Bastoul, Albert Cohen |
Polyhedral Code Generation in the Real World. |
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 | Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa |
Lightweight Lexical Closures for Legitimate Execution Stack Access. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Weihua Jiang, Chao Mei, Bo Huang, 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 BibTeX RDF |
|
| 1 | Robert Ennals, Richard Sharp, Alan Mycroft |
Task Partitioning for Multi-core Network Processors. |
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 | 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 | Kevin Casey, David Gregg, M. Anton Ertl |
Tiger - An Interpreter Generation Tool. |
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 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Hob: A Tool for Verifying Data Structure Consistency. |
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 | Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks |
A Compiler-Based Approach to Data Security. |
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 | 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 | Luca Padovani |
Compilation of Generic Regular Path Expressions Using C++ Class Templates. |
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 | 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 | Sukyoung Ryu, Norman Ramsey |
Source-Level Debugging for Multiple Languages with Modest Programming Effort. |
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 | 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 | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
Experiences with Enumeration of Integer Projections of Parametric Polytopes. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")