Ayal Zaks, Manuel V. Hermenegildo
Proceedings of the 25th International Conference on Compiler Construction
CC, 2016.

@proceedings{CC-2016,
	editor        = "Ayal Zaks and Manuel V. Hermenegildo",
	isbn          = "978-1-4503-4241-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th International Conference on Compiler Construction}",
	year          = 2016,
}

Contents (29 items)

CC-2016-HammacherSZH #concurrent #kernel #thread

Thread-level speculation with kernel support (CH, KS, AZ, SH), pp. 1–11.

CC-2016-CaoV #concurrent #memory management #thread

Reducing memory buffering overhead in software thread-level speculation (ZC, CV), pp. 12–22.

CC-2016-MurphyJMC #automation #data flow #dependence #performance

Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.

CC-2016-KusumNG #adaptation #data type #flexibility

Safe and flexible adaptation via alternate data structure representations (AK, IN, RG0), pp. 34–44.

CC-2016-ZhangBB #dependence #parallel #runtime

Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.

CC-2016-FerreiroCJH #haskell

Kindergarten cop: dynamic nursery resizing for GHC (HF, LMC, VJ, KH), pp. 56–66.

CC-2016-BuchwaldLU

Verified construction of static single assignment form (SB, DL, SU0), pp. 67–76.

CC-2016-DemangeR

Mechanizing conventional SSA for a verified destruction with coalescing (DD, YFdR), pp. 77–87.

CC-2016-Pottier #fault #lr #parsing #reachability

Reachability and error diagnosis in LR(1) parsers (FP), pp. 88–98.

CC-2016-SinghGN #automation #data type #fault

Automatic fault location for data structures (VS, RG0, IN), pp. 99–109.

CC-2016-RodriguesPA #detection #representation

Sparse representation of implicit flows with applications to side-channel detection (BR, FMQP, DFA), pp. 110–120.

CC-2016-KoukosEZSKJ #compilation #energy #multi #source code

Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs (KK, PE, GZ, VS, SK, AJ), pp. 121–131.

CC-2016-DuckY #bound #pointer

Heap bounds protection with low fat pointers (GJD, RHCY), pp. 132–142.

CC-2016-DomagalaARS #scheduling

Register allocation and promotion through combined instruction scheduling and loop unrolling (LD, DvA, FR, PS), pp. 143–151.

CC-2016-RajbhandariKKPR #on the #recursion #traversal

On fusing recursive traversals of K-d trees (SR, JK, SK, LNP, FR, RJH, PS), pp. 152–162.

CC-2016-CamposASP #strict

Restrictification of function arguments (VHSC, PROA, HNS, FMQP), pp. 163–173.

CC-2016-NgY #concurrent #detection #graph #synthesis

Static deadlock detection for concurrent go by global session graph synthesis (NN, NY), pp. 174–184.

CC-2016-WuYR #android #detection #energy #fault #static analysis

Static detection of energy defect patterns in Android applications (HW, SY, AR), pp. 185–195.

CC-2016-ScholzJSW #datalog #on the #performance #program analysis #scalability

On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.

CC-2016-SankarCN #analysis

Improved MHP Analysis (AS, SC, VKN), pp. 207–217.

CC-2016-DarteIY #memory management

Extended lattice-based memory allocation (AD, AI, TY), pp. 218–228.

CC-2016-Bastoul #adaptation

Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality (CB), pp. 229–239.

CC-2016-MajetiMBS #architecture #automation #cpu #generative #gpu #kernel #layout

Automatic data layout generation and kernel mapping for CPU+GPU architectures (DM, KSM, RB, VS), pp. 240–250.

CC-2016-MollDH

Input space splitting for OpenCL (SM, JD, SH), pp. 251–260.

CC-2016-PhothilimthanaT #framework #named

GreenThumb: superoptimizer construction framework (PMP, AT0, RB, DD), pp. 261–262.

CC-2016-LozanoCBS #scheduling

Register allocation and instruction scheduling in Unison (RCL, MC, GHB, CS0), pp. 263–264.

CC-2016-SuiX #analysis #interprocedural #named

SVF: interprocedural static value-flow analysis in LLVM (YS, JX), pp. 265–266.

CC-2016-AfroozehI #framework #named #parsing

Iguana: a practical data-dependent parsing framework (AA, AI), pp. 267–268.

CC-2016-AlbertGI #concurrent #named #testing

SYCO: a systematic testing tool for concurrent objects (EA, MGZ, MI), pp. 269–270.