Christophe Dubach, Jingling Xue
Proceedings of the 27th International Conference on Compiler Construction
CC, 2018.

@proceedings{CC-2018,
	editor        = "Christophe Dubach and Jingling Xue",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 27th International Conference on Compiler Construction}",
	year          = 2018,
}

Contents (20 items)

CC-2018-Shen #compilation #machine learning

Rethinking compilers in the rise of machine learning and AI (keynote) (XS), p. 1.

CC-2018-Heim #compilation #design #quantum

Compiler and language design for quantum computing (keynote) (BH), p. 2.

CC-2018-ZinenkoVRSGS0 #locality #modelling #parallel #scheduling

Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling (OZ, SV, CR, JS, TG, VS, AC0), pp. 3–13.

CC-2018-ZhaoK0 #bound #compilation #framework

A polyhedral compilation framework for loops with dynamic data-dependent bounds (JZ0, MK, AC0), pp. 14–24.

CC-2018-DoerfertSH

Polyhedral expression propagation (JD, SS, SH), pp. 25–36.

CC-2018-PathadeK #analysis #data flow

Computing partially path-sensitive MFP solutions in data flow analyses (KP, UPK), pp. 37–47.

CC-2018-KastrinisBFPS #alias #analysis #data type #performance

An efficient data structure for must-alias analysis (GK, GB, KF, NPK, YS), pp. 48–58.

CC-2018-ZhaoBS #analysis #parallel #points-to

Parallel sparse flow-sensitive points-to analysis (JZ, MGB, VS), pp. 59–70.

CC-2018-BrockDXZ #compilation #implementation #jit #named

PAYJIT: space-optimal JIT compilation and its practical implementation (JB, CD, XX, YZ), pp. 71–81.

CC-2018-Barany #compilation #difference #optimisation #testing

Finding missed compiler optimizations by differential testing (GB), pp. 82–92.

CC-2018-ThierEK #constraints #flexibility #performance

Fast and flexible instruction selection with constraints (PT, MAE, AK), pp. 93–103.

CC-2018-ErtelGAC #compilation #performance

Compiling for concise code and efficient I/O (SE, AG, JA, JC), pp. 104–115.

CC-2018-ColinL #composition #source code #termination

Termination checking and task decomposition for task-based intermittent programs (AC, BL), pp. 116–127.

CC-2018-NeykovaHYA #api #distributed #f# #generative #protocol

A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.

CC-2018-MadsenZL #data transformation #functional #java #representation #virtual machine

Tail call elimination and data representation for functional languages on the Java virtual machine (MM, RZ, OL), pp. 139–150.

CC-2018-GinsbachCO #analysis #compilation #domain-specific language #named

CAnDL: a domain specific language for compiler analysis (PG, LC, MFPO), pp. 151–162.

CC-2018-DemangeRP #reasoning #semantics

Semantic reasoning about the sea of nodes (DD, YFdR, DP), pp. 163–173.

CC-2018-KochMVCF #algorithm #analysis #compilation #parallel #towards

Towards a compiler analysis for parallel algorithmic skeletons (TJKEvK, SM, CV, MC, BF), pp. 174–184.

CC-2018-ManilovVF #recognition

Generalized profile-guided iterator recognition (SM, CV, BF), pp. 185–195.

CC-2018-SunBHB #dynamic analysis #performance

Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.