Abstract is missing.
- Efficient nursery sizing for managed languages on multi-core processors with shared cachesMohamed Ismail, G. Edward Suh. 1-15 [doi]
- Type freezing: exploiting attribute type monomorphism in tracing JIT compilersLin Cheng, Berkin Ilbeyi, Carl Friedrich Bolz-Tereick, Christopher Batten. 16-29 [doi]
- Low-cost prediction-based fault protection strategySunghyun Park, Shikai Li, Ze Zhang, Scott A. Mahlke. 30-42 [doi]
- Secure automatic bounds checking: prevention is simpler than cureEjebagom John Ojogbo, Mithuna Thottethodi, T. N. Vijaykumar. 43-55 [doi]
- Aloe: verifying reliability of approximate programs in the presence of recovery mechanismsKeyur Joshi, Vimuth Fernando, Sasa Misailovic. 56-67 [doi]
- Interactive debugging of concurrent programs under relaxed memory modelsAakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy. 68-80 [doi]
- Testing static analyses for precision and soundnessJubi Taneja, Zhengyang Liu, John Regehr. 81-93 [doi]
- HALO: post-link heap-layout optimisationJoe Savage, Timothy M. Jones 0001. 94-106 [doi]
- Efficient and scalable cross-ISA virtualization of hardware transactional memoryWenwen Wang, Pen-Chung Yew, Antonia Zhai, Stephen McCamant. 107-120 [doi]
- Speculative reconvergence for improved SIMT efficiencySana Damani, Daniel R. Johnson, Mark Stephenson, Stephen W. Keckler, Eddie Yan, Michael McKeown, Olivier Giroux. 121-132 [doi]
- Optimizing occupancy and ILP on the GPU using a combinatorial approachGhassan Shobaki, Austin Kerbow, Stanislav Mekhanoshin. 133-144 [doi]
- Multi-layer optimizations for end-to-end data analyticsAmir Shaikhha, Maximilian Schleich, Alexandru Ghita, Dan Olteanu. 145-157 [doi]
- Optimizing ordered graph algorithms with GraphItYunming Zhang, Ajay Brahmakshatriya, Xinyi Chen, Laxman Dhulipala, Shoaib Kamil, Saman P. Amarasinghe, Julian Shun. 158-170 [doi]
- A performance-optimizing compiler for cyber-physical digital microfluidic biochipsTyson Loveless, Jason Ott, Philip Brisk. 171-184 [doi]
- GEN: generating code for the secure usage of crypto APIsStefan Krüger, Karim Ali 0001, Eric Bodden. 185-198 [doi]
- AN5D: automated stencil framework for high-degree temporal blocking on GPUsKazuaki Matsumura, Hamid Reza Zohouri, Mohamed Wahib, Toshio Endo, Satoshi Matsuoka. 199-211 [doi]
- The design and implementation of the wolfram language compilerAbdul Dakkak, Tom Wickham-Jones, Wen-mei Hwu. 212-228 [doi]
- SIMD support in .NET: abstract and concrete vector types and operationsCarol Eidt, Tanner Gooding. 229-241 [doi]
- NeuroVectorizer: end-to-end vectorization with deep reinforcement learningAmeer Haj Ali, Nesreen K. Ahmed, Theodore L. Willke, Yakun Sophia Shao, Krste Asanovic, Ion Stoica. 242-255 [doi]
- Introducing the pseudorandom value generator selection in the compilation toolchainMichael Leonard, Simone Campanoni. 256-267 [doi]
- COLAB: a collaborative multi-factor scheduler for asymmetric multicore processorsTeng Yu, Pavlos Petoumenos, Vladimir Janjic, Hugh Leather, John Thomson. 268-279 [doi]
- PreScaler: an efficient system-aware precision scaling framework on heterogeneous systemsSeokwon Kang, Kyunghwan Choi, Yongjun Park. 280-292 [doi]
- ATMem: adaptive data placement in graph applications on heterogeneous memoriesYu Chen, Ivy B. Peng, Zhen Peng, Xu Liu, Bin Ren. 293-304 [doi]
- Automatic generation of high-performance quantized machine learning kernelsMeghan Cowan, Thierry Moreau, TianQi Chen, James Bornholt, Luis Ceze. 305-316 [doi]
- Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilersMohammad Mahdi Javanmard, Zafar Ahmad, Martin Kong, Louis-Noël Pouchet, Rezaul Chowdhury, Robert J. Harrison. 317-329 [doi]