Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
Liveness-Based Garbage Collection. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Pippijn van Steenhoven |
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Wang 0001, Daniel Christopher Powell, Björn Franke, Michael F. P. O'Boyle |
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann |
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henri-Pierre Charles, Damien Couroussé, Victor Lomüller, Fernando Akira Endo, Rémy Gauguey |
deGoal a Tool to Embed Dynamic Code Generators into Applications. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Albert Cohen 0001 (eds.) |
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Srinivasan, Thomas W. Reps |
Recovery of Class Hierarchies and Composition Relationships from Machine Code. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Franz, Andreas Holzer, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith |
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Esben Andreasen |
String Analysis for Dynamic Field Access. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas M. Prinz, Norbert Spieß, Wolfram Amme |
A First Step towards a Compiler for Business Processes. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar |
Inter-iteration Scalar Replacement Using Array SSA Form. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello |
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Dupont de Dinechin |
Using the SSA-Form in a Code Generator. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jayvant Anantpur, R. Govindarajan |
Taming Control Divergence in GPUs through Control Flow Linearization. |
CC |
2014 |
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 | Stefan Kempf 0002, Ronald Veldema, Michael Philippsen |
Compiler-Guided Identification of Critical Sections in Parallel Code. |
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 W. Moore, Bruce R. Childers |
Automatic Generation of Program Affinity Policies Using Machine Learning. |
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 | Philipp Klaus Krause |
Optimal Register Allocation in Polynomial Time. |
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 | 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 | Holger Siegel, Axel Simon |
FESA: Fold- and Expand-Based Shape Analysis. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, Lei Shang 0002, Xinwei Xie, Jingling Xue |
An Incremental Points-to Analysis with CFL-Reachability. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Soroush Radpour, Laurie J. Hendren, Max Schäfer |
Refactoring MATLAB. |
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 | Gergö Barany, Andreas Krall |
Optimal and Heuristic Global Code Motion for Minimal Spilling. |
CC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Braun 0003, 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 | Jing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha 0001, Sriram Sankaranarayanan 0001, Naveen Sharma |
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Karrenberg, Sebastian Hack |
Improving Performance of OpenCL on CPUs. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taeho Kwon, Zhendong Su 0001 |
Static Detection of Unsafe Component Loadings. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cong Hou, George Vulov, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
A New Method for Program Inversion. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Putta, Rupesh Nasre |
Parallel Replication-Based Points-To Analysis. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mark Marron, Ondrej Lhoták, Anindya Banerjee 0001 |
Programming Paradigm Driven Heap Analysis. |
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 | 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 | Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss |
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework. |
CC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leaf Petersen, Neal Glew |
GC-Safe Interprocedural Unboxing. |
CC |
2012 |
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 | Swapneela Unkule, Christopher Shaltz, Apan Qasem |
Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality. |
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 | Muhammad Umar Farooq 0003, Lei Chen, Lizy Kurian John |
Compiler Support for Value-Based Indirect Branch Prediction. |
CC |
2012 |
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 | 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 | Martin Odersky |
Future-Proofing Collections: From Mutable to Persistent to Parallel. |
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 | Mackale Joyner, Zoran Budimlic, Vivek Sarkar |
Subregion Analysis and Bounds Check Elimination for High Level Arrays. |
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 | Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch |
SSA-Based Register Allocation with PBQP. |
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 | Jonathan Rodriguez 0002, Ondrej Lhoták |
Actor-Based Parallel Dataflow Analysis. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brunthaler 0001 |
Interpreter Instruction Scheduling. |
CC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Sun, Jianjun Zhao 0001, Yuting Chen |
Probabilistic Points-to Analysis for Java. |
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 | 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 | David J. Pearce 0001 |
JPure: A Modular Purity System for Java. |
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 | James Christopher Jenista, Yong Hun Eom, Brian Demsky |
Using Disjoint Reachability for Parallelization. |
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 | Fernando Magno Quintão Pereira, Jens Palsberg |
Punctual Coalescing. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | James R. Larus |
Programming Clouds. |
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 | Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez 0002 |
Practical Extensions to the IFDS Algorithm. |
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 | Gerolf Hoflehner |
Strategies for Predicate-Aware Register Allocation. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Silvain Rideau, Xavier Leroy |
Validating Register Allocation and Spilling. |
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 | Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel |
JReq: Database Queries in Imperative Languages. |
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 | 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 0001, Cédric Bastoul |
The Polyhedral Model Is More Widely Applicable Than You Think. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Braun 0003, Christoph Mallon, Sebastian Hack |
Preference-Guided Register Assignment. |
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 | 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 | Andrew Craik, Wayne Kelly |
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Subhajit Roy 0001, Y. N. Srikant |
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Gupta 0001 (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 | 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 | Muhammad Umar Farooq 0003, 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 | 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 | Richard Warburton, Sara Kalvala |
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Annette Bieniusa, Peter Thiemann 0001 |
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 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. |
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 | Min Zhao 0009, Bruce R. Childers, Mary Lou Soffa |
A Framework for Exploring Optimization Properties. |
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 | Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon |
Extensible Proof-Producing Compilation. |
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 | 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 | 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 | Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser |
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yoann Padioleau |
Parsing C/C++ Code without Pre-processing. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Braun 0003, 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 0001, Johnson Hsieh, Michael Isard |
Implementation and Use of Transactional Memory with Dynamic Separation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Sarkar |
Challenges in Code Optimization of Parallel Programs. |
CC |
2009 |
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 0001, Alex Potanin, Constantine Dymnikov |
Java Bytecode Verification for @NonNull Types. |
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 |
|