default search action
CC 2018: Vienna, Austria
- Christophe Dubach, Jingling Xue:
Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. ACM 2018
Keynote
- Xipeng Shen:
Rethinking compilers in the rise of machine learning and AI (keynote). 1 - Bettina Heim:
Compiler and language design for quantum computing (keynote). 2
Polyhedral Compilation
- Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen:
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. 3-13 - Jie Zhao, Michael Kruse, Albert Cohen:
A polyhedral compilation framework for loops with dynamic data-dependent bounds. 14-24 - Johannes Doerfert, Shrey Sharma, Sebastian Hack:
Polyhedral expression propagation. 25-36
Data-Flow and Pointer/Alias Analysis
- Komal Pathade, Uday P. Khedker:
Computing partially path-sensitive MFP solutions in data flow analyses. 37-47 - George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis:
An efficient data structure for must-alias analysis. 48-58 - Jisheng Zhao, Michael G. Burke, Vivek Sarkar:
Parallel sparse flow-sensitive points-to analysis. 59-70
Code Generation and Optimisation
- Jacob Brock, Chen Ding, Xiaoran Xu, Yan Zhang:
PAYJIT: space-optimal JIT compilation and its practical implementation. 71-81 - Gergö Barany:
Finding missed compiler optimizations by differential testing. 82-92 - Patrick Thier, M. Anton Ertl, Andreas Krall:
Fast and flexible instruction selection with constraints. 93-103
Compilation for Specialised Domains
- Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón:
Compiling for concise code and efficient I/O. 104-115 - Alexei Colin, Brandon Lucia:
Termination checking and task decomposition for task-based intermittent programs. 116-127 - Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal:
A session type provider: compile-time API generation of distributed protocols with refinements in F#. 128-138
Code Translation and Transformation
- Magnus Madsen, Ramin Zarifi, Ondrej Lhoták:
Tail call elimination and data representation for functional languages on the Java virtual machine. 139-150 - Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle:
CAnDL: a domain specific language for compiler analysis. 151-162 - Delphine Demange, Yon Fernández de Retana, David Pichardie:
Semantic reasoning about the sea of nodes. 163-173
Compile- and Run-Time Analysis
- Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke:
Towards a compiler analysis for parallel algorithmic skeletons. 174-184 - Stanislav Manilov, Christos Vasiladiotis, Björn Franke:
Generalized profile-guided iterator recognition. 185-195 - Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder:
Efficient dynamic analysis for Node.js. 196-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.