Accepted Papers

AN5D: Automated Stencil Framework for High-Degree Temporal Blocking on GPUs
Kazuaki Matsumura (Barcelona Supercomputing Center)
Hamid Reza Zohouri (Tokyo Institute of Technology, Japan)
Mohamed Wahib (National Institute of Advanced Industrial Science and Technology, Japan)
Toshio Endo (Tokyo Institute of Technology, Japan)
Satoshi Matsuoka (Riken-Center for Computational Science, Japan)

CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
Stefan Krüger (Paderborn University)
Karim Ali (University of Alberta)
Eric Bodden (Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM)

Introducing the Pseudorandom Value Generator Selection in the Compilation Toolchain
Michael Leonard, Simone Campanoni (Northwestern University)

Type Freezing: Exploiting Attribute Type Monomorphism in Tracing JIT Compilers
Lin Cheng, Berkin Ilbeyi (Cornell University)
Carl Friedrich Bolz-Tereick (Heinrich-Heine-Universität Düsseldorf)
Christopher Batten (Cornell University)

Efficient Nursery Sizing for Managed Languages on Multi-core Processors with Shared Caches
Mohamed Ismail, Edward Suh (Cornell University)

Optimizing Ordered Graph Algorithms with GraphIt
Yunming Zhang, Ajay Brahmakshatriya, Xinyi Chen (MIT)
Laxman Dhulipala (Carnegie Mellon University)
Shoaib Kamil (Adobe Research)
Saman Amarasinghe, Julian Shun (Massachusetts Institute of Technology)

Interactive Debugging of Concurrent Programs under Relaxed Memory Models
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy (IIT Kanpur)

Speculative Reconvergence for Improved SIMT Efficiency
Sana Damani (Georgia Tech)
Daniel Johnson, Mark Stephenson, Stephen W. Keckler (NVIDIA)
Eddie Yan (University of Washington)
Michael McKeown (Esperanto Technologies)
Olivier Giroux (NVIDIA)

Automatic Generation of High-Performance Quantized Machine Learning Kernels
Meghan Cowan, Thierry Moreau, Tianqi Chen (University of Washington)
James Bornholt (University of Texas at Austin)
Luis Ceze (University of Washington)

The Design and Implementation of the Wolfram Language Compiler
Abdul Dakkak (UIUC)
Tom Wickham-Jones (Wolfram Research)
Wen-mei Hwu (UIUC)

HALO: Post-Link Heap-Layout Optimization
Joe Savage, Timothy Jones (University of Cambridge)

COLAB: A Collaborative Multi-factor Scheduler forAsymmetric Multicore Processors
Teng Yu (University of St Andrews)
Pavlos Petoumenos (University of Edinburgh)
Vladimir Janjic (University of St Andrews)
Hugh Leather (University of Edinburgh)
John Thomson (University of St Andrews)

Deriving Parametric Multi-way Recursive Divide-&-Conquer Dynamic Programming Algorithms using Polyhedral Compilers
Mohammad Mahdi Javanmard, Zafar Ahmad (Stony Brook University)
Martin Kong (University of Oklahoma)
Louis-Noël Pouchet (Colorado State University)
Rezaul Chowdhury, Robert Harrison (Stony Brook University)

PreScaler: An Efficient System-aware Precision Scaling Framework on Heterogeneous Systems
Seokwon Kang, Kyunghwan Choi, Yongjun Park (Hanyang University)

Optimizing Occupancy and ILP on the GPU Using a Combinatorial Approach
Ghassan Shobaki (California State University, Sacramento)
Austin Kerbow, Stanislav Mekhanoshin (Advanced Micro Devices)

Efficient and Scalable Cross-ISA Virtualization of Hardware Transactional Memory
Wenwen Wang (University of Georgia)
Pen-Chung Yew, Antonia Zhai, Stephen McCamant (University of Minnesota)

Low-cost Prediction-based Fault Protection Strategy
Sunghyun Park, Shikai Li, Ze Zhang, Scott Mahlke (University of Michigan)

Secure Automatic Bounds Checking: Prevention Is Simpler Than Cure
John Ojogbo, Mithuna Thottethodi, Terani Vijaykumar (Purdue University)

ATMem: Adaptive Data Placement in Graph Applications on Heterogeneous Memories
Yu Chen (College of William & Mary)
Ivy Peng (Lawrence Livermore National Laboratory)
Zhen Peng, Xu Liu, Bin Ren (College of William & Mary)

Multi-Layer Optimizations for End-to-End Data Analytics
Amir Shaikhha, Maximilian Schleich, Alexandru Ghita, Dan Olteanu (University of Oxford)

Aloe: Verifying Reliability of Approximate Programs in the Presence of Recovery Mechanisms
Keyur Joshi, Vimuth Fernando, Sasa Misailovic (University of Illinois at Urbana-Champaign)

A Performance-Optimizing Compiler for Cyber-Physical Digital Microfluidic Biochips
Tyson Loveless, Jason Ott, Philip Brisk (University of California, Riverside)

SIMD Support in .NET: Abstract and Concrete Vector Types and Operations
Carol Eidt, Tanner Gooding (Microsoft)

Testing Static Analyses for Precision and Soundness
Jubi Taneja, Zhengyang Liu, John Regehr (University of Utah)

NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning
Ameer Haj-Ali (UC Berkeley); Nesreen K. Ahmed, Ted Willke (Intel Labs)
Sophia Shao, Krste Asanovic, Ion Stoica (UC Berkeley)