Louis-Noël Pouchet, Alexandra Jimborean
Proceedings of the 29th International Conference on Compiler Construction
CC, 2020.

@proceedings{CC-2020,
	doi           = "10.1145/3377555",
	editor        = "Louis-Noël Pouchet and Alexandra Jimborean",
	isbn          = "978-1-4503-7120-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 29th International Conference on Compiler Construction}",
	year          = 2020,
}

Contents (19 items)

CC-2020-RochaPPG0CL

Vectorization-aware loop unrolling with seed forwarding (RCOR, VP, PP, LFWG, ZW0, MC, HL), pp. 1–13.

CC-2020-VuHG0 #compilation #delivery #optimisation

Secure delivery of program properties through optimizing compilation (STV, KH, AdG, AC0), pp. 14–26.

CC-2020-ThakurN #context-sensitive grammar #scalability

Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity (MT, VKN), pp. 27–38.

CC-2020-FegadeW #analysis #data type #modelling #pointer #scalability #semantics #using

Scalable pointer analysis of data structures using semantic models (PF, CW), pp. 39–50.

CC-2020-ZhangHLBR #case study #difference #privacy #profiling

A study of event frequency profiling with differential privacy (HZ, YH, SL, RB, AR), pp. 51–62.

CC-2020-ChenKKVH #automation #database #performance #query

Improving database query performance with automatic fusion (HC, AK, BK, CV, LJH), pp. 63–73.

CC-2020-KimLKS #network #robust

Robust quantization of deep neural networks (YK, JL, YK, JS), pp. 74–84.

CC-2020-PizzutiSD #functional #generative #information retrieval #matrix #multi #performance

Generating fast sparse matrix vector multiplication from a high level generic functional IR (FP, MS, CD), pp. 85–95.

CC-2020-LazcanoMJC #multi #runtime

Runtime multi-versioning and specialization inside a memoized speculative loop optimizer (RL, DM, EJ, PC), pp. 96–107.

CC-2020-SerranoF #javascript #performance #towards

Dynamic property caches: a step towards faster JavaScript proxy objects (MS, RBF), pp. 108–118.

CC-2020-KurthWFCMGB #compilation

Mixed-data-model heterogeneous compilation and OpenMP offloading (AK, KW, BF, AC, AM, TG, LB), pp. 119–131.

CC-2020-GorgovanCL #case study #development #performance #tool support

Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems (CG, GC, ML), pp. 132–142.

CC-2020-Castro-PerezY #compilation #first-order #parallel

Compiling first-order functions to session-typed parallel code (DCP, NY), pp. 143–154.

CC-2020-ChidaKITS #algorithm #linear #parsing

Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms (NC, YK, DI, KT, KS), pp. 155–166.

CC-2020-PuriniBCB #analysis #image #pipes and filters #smt #using

Bitwidth customization in image processing pipelines using interval analysis and SMT solvers (SP, VB, ZC, UB), pp. 167–178.

CC-2020-GinsbachCO #automation

Automatically harnessing sparse acceleration (PG, BC, MFPO), pp. 179–190.

CC-2020-DaviesK #program transformation

Postcondition-preserving fusion of postorder tree transformations (ED, SK), pp. 191–200.

CC-2020-BrauckmannGEC #graph #learning #modelling

Compiler-based graph representations for deep learning models of code (AB, AG, SE, JC), pp. 201–211.

CC-2020-Lopez-Gomez0AVN #c++

Relaxing the one definition rule in interpreted C++ (JLG, JF0, DdRA, VV, AN, JDG), pp. 212–222.