Peng Wu 0001, Sebastian Hack
Proceedings of the 26th International Conference on Compiler Construction
CC, 2017.

@proceedings{CC-2017,
	doi           = "10.1145/3033019",
	editor        = "Peng Wu 0001 and Sebastian Hack",
	isbn          = "978-1-4503-5233-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 26th International Conference on Compiler Construction}",
	year          = 2017,
}

Contents (13 items)

CC-2017-MorissetN

Partially redundant fence elimination for x86, ARM, and power processors (RM, FZN), pp. 1–10.

CC-2017-BiswasCZBW #concurrent #detection #lightweight

Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.

CC-2017-ShirakoHS #gpu #parallel #using

Optimized two-level parallelization for GPU accelerators using the polyhedral model (JS, AH, VS), pp. 22–33.

CC-2017-BeaugnonPPPC #optimisation

Optimization space pruning without regrets (UB, AP, MP, JAP, AC), pp. 34–44.

CC-2017-SureshRS

Compile-time function memoization (AS, ER, AS), pp. 45–54.

CC-2017-WimmerJEW #compilation

One compiler: deoptimization to optimized code (CW, VJ, EE, TW), pp. 55–64.

CC-2017-PopovCJS #optimisation #php

Static optimization in PHP 7 (NP, BC, BHHJ, DS), pp. 65–75.

CC-2017-TownsendKE #data flow #functional #pipes and filters #source code

From functional programs to pipelined dataflow circuits (RT, MAK, SAE), pp. 76–86.

CC-2017-BrotherstonDL #java #named

Granullar: gradual nullable types for Java (DB, WD, OL), pp. 87–97.

CC-2017-NeykovaY #multi

Let it recover: multiparty protocol-induced recovery (RN, NY), pp. 98–108.

CC-2017-JaberK #clustering #data type

Data structure-aware heap partitioning (NJ, MK0), pp. 109–119.

CC-2017-LiLX #execution #morphism #polymorphism #symbolic computation

Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.

CC-2017-FedericoPA #analysis #bound #framework

rev.ng: a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.