Proceedings of the 26th International Conference on Compiler Construction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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 a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.

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.