26,098 papers · page 437 of 1,305
Yifan Xu, I-Ting Angelina Lee, Kunal Agrawal
A program is said to have a determinacy race if logically parallel parts of a program access the same memory location and one of the accesses is a write. These races are generally bugs in the program since they lead to non-deterministic program behavior --- different schedules of…
Tuowen Zhao, Mary W. Hall, Protonu Basu, Samuel Williams, Hans Johansen
We present a stencil library and associated compiler code generation framework designed to maximize performance on higher-order stencil computations through the use of two main technologies: a fine-grained brick data layout designed to exploit the inherent multidimensional spatia…
Yue Zhao, Jiajia Li, Chunhua Liao, Xipeng Shen
This work presents a systematic exploration on the promise and special challenges of deep learning for sparse matrix format selection---a problem of determining the best storage format for a matrix to maximize the performance of Sparse Matrix Vector Multiplication (SpMV). It desc…
Da Zheng, Disa Mhembere, Joshua T. Vogelstein, Carey E. Priebe, Randal C. Burns
R is one of the most popular programming languages for statistics and machine learning, but it is slow and unable to scale to large datasets. The general approach for having an efficient algorithm in R is to implement it in C or FORTRAN and provide an R wrapper. FlashR accelerate…
Aws Albarghouthi
Abstract elided by the publisher.
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Abstract elided by the publisher.
Rajeev Alur, Joseph Devietti, Nimit Singhania
Abstract elided by the publisher.
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the C language, initially targete…
Alexey Bakhirkin, David Monniaux
Abstract elided by the publisher.
Anna Becchi, Enea Zaffanella
Abstract elided by the publisher.
Frédéric Besson, Thomas P. Jensen, Julien Lepiller
Abstract elided by the publisher.
Aziem Chawdhary, Andy King
Abstract elided by the publisher.
Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
Abstract elided by the publisher.
Maxime Jacquemin, Sylvie Putot, Franck Védrine
Abstract elided by the publisher.
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Abstract elided by the publisher.
Zachary Kincaid
Abstract elided by the publisher.
Isabella Mastroeni, Michele Pasqua
Abstract elided by the publisher.
Kenneth L. McMillan, Oded Padon
Abstract elided by the publisher.
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Abstract elided by the publisher.
Kedar S. Namjoshi, Zvonimir Pavlinovic
Abstract elided by the publisher.