Abstract is missing.
- Rethinking compilers in the rise of machine learning and AI (keynote)Xipeng Shen. 1 [doi]
- Compiler and language design for quantum computing (keynote)Bettina Heim. 2 [doi]
- Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine schedulingOleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen 0001. 3-13 [doi]
- A polyhedral compilation framework for loops with dynamic data-dependent boundsJie Zhao, Michael Kruse, Albert Cohen 0001. 14-24 [doi]
- Polyhedral expression propagationJohannes Doerfert, Shrey Sharma, Sebastian Hack. 25-36 [doi]
- Computing partially path-sensitive MFP solutions in data flow analysesKomal Pathade, Uday P. Khedker. 37-47 [doi]
- An efficient data structure for must-alias analysisGeorge Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis. 48-58 [doi]
- Parallel sparse flow-sensitive points-to analysisJisheng Zhao, Michael G. Burke, Vivek Sarkar. 59-70 [doi]
- PAYJIT: space-optimal JIT compilation and its practical implementationJacob Brock, Chen Ding, Xiaoran Xu, Yan Zhang. 71-81 [doi]
- Finding missed compiler optimizations by differential testingGergö Barany. 82-92 [doi]
- Fast and flexible instruction selection with constraintsPatrick Thier, M. Anton Ertl, Andreas Krall. 93-103 [doi]
- Compiling for concise code and efficient I/OSebastian Ertel, Andrés Goens, Justus Adam, Jerónimo Castrillón. 104-115 [doi]
- Termination checking and task decomposition for task-based intermittent programsAlexei Colin, Brandon Lucia. 116-127 [doi]
- A session type provider: compile-time API generation of distributed protocols with refinements in F#Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal. 128-138 [doi]
- Tail call elimination and data representation for functional languages on the Java virtual machineMagnus Madsen, Ramin Zarifi, Ondrej Lhoták. 139-150 [doi]
- CAnDL: a domain specific language for compiler analysisPhilip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle. 151-162 [doi]
- Semantic reasoning about the sea of nodesDelphine Demange, Yon Fernández de Retana, David Pichardie. 163-173 [doi]
- Towards a compiler analysis for parallel algorithmic skeletonsTobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke. 174-184 [doi]
- Generalized profile-guided iterator recognitionStanislav Manilov, Christos Vasiladiotis, Björn Franke. 185-195 [doi]
- Efficient dynamic analysis for Node.jsHaiyang Sun, Daniele Bonetta, Christian Humer, Walter Binder. 196-206 [doi]