Proceedings of the 27th International Conference on Compiler Construction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
ACM DL
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.