Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pratik Fegade, Christian Wimmer |
Scalable pointer analysis of data structures using semantic models. |
CC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | James Renwick, Tom Spink, Björn Franke |
Low-cost deterministic C++ exceptions for embedded systems. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yang Xia, Peng Jiang 0004, Gagan Agrawal |
Enabling prefix sum parallelism pattern for recurrences with principled function reconstruction. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | José Nelson Amaral, Milind Kulkarni 0001 (eds.) |
Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019 |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Komal Pathade, Uday P. Khedker |
Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Saman P. Amarasinghe |
The sparse tensor algebra compiler (keynote). |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ying Liu, Lei Huang, Mingchuan Wu, Huimin Cui, Fang Lv, Xiaobing Feng 0002, Jingling Xue |
PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Charith Mendis, Ajay Jain, Paras Jain 0001, Saman P. Amarasinghe |
Revec: program rejuvenation through revectorization. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Takafumi Kubota, Yusuke Suzuki, Kenji Kono |
To unify or not to unify: a case study on unified builds (in WebKit). |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano, Marc Feeley |
Property caches revisited. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0006, Zizhong Chen, Rajiv Gupta 0001 |
Efficient concolic testing of MPI applications. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raghesh Aloor, V. Krishna Nandivada |
Efficiency and expressiveness in UW-OpenMP. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi |
A static slicing method for functional programs and its incremental version. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ji Hwan Yeo, JinSeok Oh, Soo-Mook Moon |
Accelerating web application loading with snapshot of event and DOM handling. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rahman Lavaee, John Criswell, Chen Ding 0001 |
Codestitcher: inter-procedural basic block layout optimization. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Blaß, Michael Philippsen |
GPU-accelerated fixpoint algorithms for faster compiler analyses. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manas Thakur, V. Krishna Nandivada |
Compare less, defer more: scaling value-contexts based whole-program heap analyses. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Schmitt, Philippe Helluy, Cédric Bastoul |
Automatic adaptive approximation for stencil computations. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tong Zhou, Michael R. Jantz, Prasad A. Kulkarni, Kshitij A. Doshi, Vivek Sarkar |
Valence: variable length calling context encoding. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bongjun Kim, Seonyeong Heo, Gyeongmin Lee, Seungbin Song, Jong Kim 0001, Hanjun Kim 0001 |
Spinal code: automatic code extraction for near-user computation in fogs. |
CC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Manilov, Christos Vasiladiotis, Björn Franke |
Generalized profile-guided iterator recognition. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Colin, Brandon Lucia |
Termination checking and task decomposition for task-based intermittent programs. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Komal Pathade, Uday P. Khedker |
Computing partially path-sensitive MFP solutions in data flow analyses. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder |
Efficient dynamic analysis for Node.js. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Doerfert, Shrey Sharma, Sebastian Hack |
Polyhedral expression propagation. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke |
Towards a compiler analysis for parallel algorithmic skeletons. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Heim |
Compiler and language design for quantum computing (keynote). |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gergö Barany |
Finding missed compiler optimizations by differential testing. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, Yon Fernández de Retana, David Pichardie |
Semantic reasoning about the sea of nodes. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis |
An efficient data structure for must-alias analysis. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xipeng Shen |
Rethinking compilers in the rise of machine learning and AI (keynote). |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón |
Compiling for concise code and efficient I/O. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle |
CAnDL: a domain specific language for compiler analysis. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy 0001, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen 0001 |
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Brock, Chen Ding 0001, Xiaoran Xu, Yan Zhang |
PAYJIT: space-optimal JIT compilation and its practical implementation. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Dubach, Jingling Xue (eds.) |
Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria |
CC |
2018 |
DBLP BibTeX RDF |
|
1 | Jie Zhao 0002, Michael Kruse, Albert Cohen 0001 |
A polyhedral compilation framework for loops with dynamic data-dependent bounds. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jisheng Zhao, Michael G. Burke, Vivek Sarkar |
Parallel sparse flow-sensitive points-to analysis. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Ramin Zarifi, Ondrej Lhoták |
Tail call elimination and data representation for functional languages on the Java virtual machine. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal |
A session type provider: compile-time API generation of distributed protocols with refinements in F#. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Thier, M. Anton Ertl, Andreas Krall |
Fast and flexible instruction selection with constraints. |
CC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Popov, Biagio Cosenza, Ben H. H. Juurlink, Dmitry Stogov |
Static optimization in PHP 7. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Christian Wimmer, Vojin Jovanovic, Erik Eckstein, Thomas Würthinger |
One compiler: deoptimization to optimized code. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Richard Townsend, Martha A. Kim, Stephen A. Edwards |
From functional programs to pipelined dataflow circuits. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Arjun Suresh, Erven Rohou, André Seznec |
Compile-time function memoization. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Robin Morisset, Francesco Zappa Nardelli |
Partially redundant fence elimination for x86, ARM, and power processors. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Peng Wu 0001, Sebastian Hack (eds.) |
Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017 |
CC |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nouraldin Jaber, Milind Kulkarni 0001 |
Data structure-aware heap partitioning. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Rumyana Neykova, Nobuko Yoshida |
Let it recover: multiparty protocol-induced recovery. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Alessandro Di Federico, Mathias Payer, Giovanni Agosta |
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Dan Brotherston, Werner Dietl, Ondrej Lhoták |
Granullar: gradual nullable types for Java. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, Benjamin P. Wood |
Lightweight data race detection for production runs. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen 0001 |
Optimization space pruning without regrets. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Lian Li 0002, Yi Lu 0003, Jingling Xue |
Dynamic symbolic execution for polymorphism. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Jun Shirako, Akihiro Hayashi, Vivek Sarkar |
Optimized two-level parallelization for GPU accelerators using the polyhedral model. |
CC |
2017 |
DBLP BibTeX RDF |
|
1 | Phitchaya Mangpo Phothilimthana, Aditya Thakur 0001, Rastislav Bodík, Dinakar Dhurjati |
GreenThumb: superoptimizer construction framework. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar |
Automatic data layout generation and kernel mapping for CPU+GPU architectures. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, Yon Fernández de Retana |
Mechanizing conventional SSA for a verified destruction with coalescing. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
Kindergarten cop: dynamic nursery resizing for GHC. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amlan Kusum, Iulian Neamtiu, Rajiv Gupta 0001 |
Safe and flexible adaptation via alternate data structure representations. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann |
On fast large-scale program analysis in Datalog. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Bastoul |
Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack |
Thread-level speculation with kernel support. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Haowei Wu, Shengqian Yang, Atanas Rountev |
Static detection of energy defect patterns in Android applications. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Moll 0001, Johannes Doerfert, Sebastian Hack |
Input space splitting for OpenCL. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 |
Register allocation and instruction scheduling in Unison. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean |
Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Sankar, Soham Chakraborty 0001, V. Krishna Nandivada |
Improved MHP Analysis. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Singh, Rajiv Gupta 0001, Iulian Neamtiu |
Automatic fault location for data structures. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ali Afroozeh, Anastasia Izmaylova |
Iguana: a practical data-dependent parsing framework. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Minjia Zhang, Swarnendu Biswas, Michael D. Bond |
Relaxed dependence tracking for parallel runtime support. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
SYCO: a systematic testing tool for concurrent objects. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Buchwald, Denis Lohner, Sebastian Ullrich 0002 |
Verified construction of static single assignment form. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, P. Sadayappan |
On fusing recursive traversals of K-d trees. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alain Darte, Alexandre Isoard, Tomofumi Yuki |
Extended lattice-based memory allocation. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yulei Sui, Jingling Xue |
SVF: interprocedural static value-flow analysis in LLVM. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Niall Murphy, Timothy M. Jones 0001, Robert D. Mullins, Simone Campanoni |
Performance implications of transient loop-carried data dependences in automatically parallelized loops. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Ng, Nobuko Yoshida |
Static deadlock detection for concurrent go by global session graph synthesis. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan |
Register allocation and promotion through combined instruction scheduling and loop unrolling. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha |
Sparse representation of implicit flows with applications to side-channel detection. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier |
Reachability and error diagnosis in LR(1) parsers. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Roland H. C. Yap |
Heap bounds protection with low fat pointers. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ayal Zaks, Manuel V. Hermenegildo (eds.) |
Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 |
CC |
2016 |
DBLP BibTeX RDF |
|
1 | Zhen Cao, Clark Verbrugge |
Reducing memory buffering overhead in software thread-level speculation. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira |
Restrictification of function arguments. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom |
A Refactoring Library for Scala Compiler Extensions. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Buchwald |
Optgen: A Generator for Local Optimizations. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alain Darte, Alexandre Isoard |
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida |
Protocols by Default - Safe MPI Code Generation Based on Session Types. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Afroozeh, Anastasia Izmaylova |
Faster, Practical GLL Parsing. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis |
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Björn Franke (eds.) |
Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent St-Amour, Leif Andersen, Matthias Felleisen |
Feature-Specific Profiling. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Hollingum, Bernhard Scholz |
Towards a Scalable Framework for Context-Free Language Reachability. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, David Pichardie, Léo Stefanesco |
Verifying Fast and Sparse SSA-Based Optimizations in Coq. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan |
Staged Points-to Analysis for Large Code Bases. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Pingali, Gianfranco Bilardi |
A Graphical Model for Context-Free Grammar Parsing. |
CC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella |
The PAPAGENO Parallel-Parser Generator. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Feautrier, Eric Violard, Alain Ketterlin |
Improving the Performance of X10 Programs by Clock Removal. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|