| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Siegel, Axel Simon |
FESA: Fold- and Expand-Based Shape Analysis.  |
CC  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Klaus Krause |
Optimal Register Allocation in Polynomial Time. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau |
Simple and Efficient Construction of Static Single Assignment Form. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kempf, Ronald Veldema, Michael Philippsen |
Compiler-Guided Identification of Critical Sections in Parallel Code. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosario Cammarota, Alexandru Nicolau, Alexander V. Veidenbaum, Arun Kejariwal, Debora Donato, Mukund Madhugiri |
On the Determination of Inlining Vectors for Program Optimization. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, Lei Shang, Xinwei Xie, Jingling Xue |
An Incremental Points-to Analysis with CFL-Reachability. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergö Barany, Andreas Krall |
Optimal and Heuristic Global Code Motion for Minimal Spilling. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Somashekaracharya G. Bhaskaracharya, Uday Bondhugula |
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala, Koen De Bosschere (eds.) |
Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | George Kastrinis, Yannis Smaragdakis |
Efficient and Effective Handling of Exceptions in Java Points-to Analysis. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eberhard Bertsch, Mark-Jan Nederhof, Sylvain Schmitz |
On LR Parsing with Selective Delays. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Whelan, Tim Leek, David R. Kaeli |
Architecture-Independent Dynamic Information Flow Tracking. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan W. Moore, Bruce R. Childers |
Automatic Generation of Program Affinity Policies Using Machine Learning. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Soroush Radpour, Laurie J. Hendren, Max Schäfer |
Refactoring MATLAB. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael F. P. O'Boyle (eds.) |
Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Karrenberg, Sebastian Hack |
Improving Performance of OpenCL on CPUs. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Hou, George Vulov, Daniel J. Quinlan, David Jefferson, Richard Fujimoto, Richard W. Vuduc |
A New Method for Program Inversion. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra |
Compiler Support for Fine-Grain Software-Only Checkpointing. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss |
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan, Vivek Sarkar |
Analytical Bounds for Optimal Tile Size Selection. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack |
Sambamba: A Runtime System for Online Adaptive Parallelization. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Putta, Rupesh Nasre |
Parallel Replication-Based Points-To Analysis. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leaf Petersen, Neal Glew |
GC-Safe Interprocedural Unboxing. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taeho Kwon, Zhendong Su |
Static Detection of Unsafe Component Loadings. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma |
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Marron, Ondrej Lhoták, Anindya Banerjee |
Programming Paradigm Driven Heap Analysis. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Swapneela Unkule, Christopher Shaltz, Apan Qasem |
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Umar Farooq, Lei Chen, Lizy Kurian John |
Compiler Support for Value-Based Indirect Branch Prediction. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch |
SSA-Based Register Allocation with PBQP. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky |
Future-Proofing Collections: From Mutable to Persistent to Parallel. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Sun, Jianjun Zhao, Yuting Chen |
Probabilistic Points-to Analysis for Java. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce |
JPure: A Modular Purity System for Java. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal |
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brunthaler |
Interpreter Instruction Scheduling. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Henretty, Kevin Stock, Louis-Noël Pouchet, Franz Franchetti, J. Ramanujam, P. Sadayappan |
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
Using Disjoint Reachability for Parallelization. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop (eds.) |
Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen |
Clean Translation of an Imperative Reversible Programming Language. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Rodriguez, Ondrej Lhoták |
Actor-Based Parallel Dataflow Analysis. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mackale Joyner, Zoran Budimlic, Vivek Sarkar |
Subregion Analysis and Bounds Check Elimination for High Level Arrays. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira |
Tainted Flow Analysis on e-SSA-Form Programs. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva Bigonha |
Dynamic Elimination of Overflow Tests in a Trace Compiler. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurudeen Lameed, Laurie J. Hendren |
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nomair A. Naeem, Ondrej Lhoták |
Faster Alias Set Analysis Using Summaries. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Grewe, Michael F. P. O'Boyle |
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Craik, Wayne Kelly |
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez |
Practical Extensions to the IFDS Algorithm. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvain Rideau, Xavier Leroy |
Validating Register Allocation and Spilling. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Gupta (eds.) |
Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Larus |
Programming Clouds. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Chevalier-Boisvert, Laurie J. Hendren, Clark Verbrugge |
Optimizing Matlab through Just-In-Time Specialization. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Herman Venter |
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel |
JReq: Database Queries in Imperative Languages. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, José Nelson Amaral |
Mining Opportunities for Code Improvement in a Just-In-Time Compiler. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muthu Manikandan Baskaran, J. Ramanujam, P. Sadayappan |
Automatic C-to-CUDA Code Generation for Affine Programs. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Magno Quintão Pereira, Jens Palsberg |
Punctual Coalescing. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhan Ding, Soner Önder |
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
Verifying Local Transformations on Relaxed Memory Models. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Subhajit Roy, Y. N. Srikant |
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Braun, Christoph Mallon, Sebastian Hack |
Preference-Guided Register Assignment. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng Shen |
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul |
The Polyhedral Model Is More Widely Applicable Than You Think. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerolf Hoflehner |
Strategies for Predicate-Aware Register Allocation. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
Extensible Proof-Producing Compilation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Matthias Braun, Sebastian Hack |
Register Spilling and Live-Range Splitting for SSA-Form Programs. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annette Bieniusa, Peter Thiemann |
How to CPS Transform a Monad. |
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 | 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 | Vivek Sarkar |
Challenges in Code Optimization of Parallel Programs. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
A Framework for Exploring Optimization Properties. |
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 | Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser |
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming. |
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 | 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 | Richard Warburton, Sara Kalvala |
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. |
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 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. |
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 | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
An Adaptive Strategy for Inline Substitution. |
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 | 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 | Gregory B. Prokopski, Clark Verbrugge |
Compiler-Guaranteed Safety in Code-Copying Virtual Machines. |
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 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Visualization of Program Dependence Graphs. |
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 | 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 | Marius Nita, Dan Grossman |
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. |
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 | Thomas W. Reps, Gogul Balakrishnan |
Improved Memory-Access Analysis for x86 Executables. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Franchetti, Markus Püschel |
Generating SIMD Vectorized Permutations. |
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 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 | 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 | Ghulam Lashari, Ondrej Lhoták, Michael McCool |
Control Flow Emulation on Tiled SIMD Architectures. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")