CC B

21 papers

YearTitle / Authors
2018A polyhedral compilation framework for loops with dynamic data-dependent bounds.
Jie Zhao, Michael Kruse, Albert Cohen
2018A session type provider: compile-time API generation of distributed protocols with refinements in F#.
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal
2018An efficient data structure for must-alias analysis.
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
2018CAnDL: a domain specific language for compiler analysis.
Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle
2018Compiler and language design for quantum computing (keynote).
Bettina Heim
2018Compiling for concise code and efficient I/O.
Sebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón
2018Computing partially path-sensitive MFP solutions in data flow analyses.
Komal Pathade, Uday P. Khedker
2018Efficient dynamic analysis for Node.js.
Haiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder
2018Fast and flexible instruction selection with constraints.
Patrick Thier, M. Anton Ertl, Andreas Krall
2018Finding missed compiler optimizations by differential testing.
Gergö Barany
2018Generalized profile-guided iterator recognition.
Stanislav Manilov, Christos Vasiladiotis, Björn Franke
2018Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen
2018PAYJIT: space-optimal JIT compilation and its practical implementation.
Jacob Brock, Chen Ding, Xiaoran Xu, Yan Zhang
2018Parallel sparse flow-sensitive points-to analysis.
Jisheng Zhao, Michael G. Burke, Vivek Sarkar
2018Polyhedral expression propagation.
Johannes Doerfert, Shrey Sharma, Sebastian Hack
2018Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria
Christophe Dubach, Jingling Xue
2018Rethinking compilers in the rise of machine learning and AI (keynote).
Xipeng Shen
2018Semantic reasoning about the sea of nodes.
Delphine Demange, Yon Fernández de Retana, David Pichardie
2018Tail call elimination and data representation for functional languages on the Java virtual machine.
Magnus Madsen, Ramin Zarifi, Ondrej Lhoták
2018Termination checking and task decomposition for task-based intermittent programs.
Alexei Colin, Brandon Lucia
2018Towards a compiler analysis for parallel algorithmic skeletons.
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke