Search events for 'all'
Do We Really Want Correct Compilers?
Keynotes When: Tue 4 Mar 2025 08:30 - 09:30 People: John Regehr
… If we wanted correct compilers, we could have them already. But that’s not all we want: we also want compilers that are really good at code generation, that run quickly, that keep up with complicated language standards, and more …
Scalar Interpolation: A Better Balance Between Vector and Scalar Execution for SuperScalar Architectures
Main Conference When: Mon 3 Mar 2025 12:00 - 12:20 People: Reza Ghanbari, Henry Kao, João P. L. De Carvalho, Ehsan Amiri, Jose Nelson Amaral
… Most compilers convert all iterations of a vectorizable loop into vector operations to decrease processing time. This pa- per proposes Scalar Interpolation, a technique that inserts scalar operations into vectorized loops to increase …
ML Engineering in the Giant Model Age
Keynotes When: Wed 5 Mar 2025 08:30 - 09:30
… It’s been over a decade since the AlexNet breakthrough, which revitalized and invigorated all of the fields of our three conferences (reductively: architecture, compilation, and whole-stack parallielization). In pursuit of AGI …
An Efficient Polynomial Multiplication Derived Implementation Of Convolution in Neural Networks
Main Conference When: Tue 4 Mar 2025 12:00 - 12:20 People: Haoke Xu, Yulin Zhang, Zitong Cheng, Xiaoming Li
… outperform others in all cases. In this paper, we introduce a novel …
Synthesis of Sorting Kernels
Main Conference When: Mon 3 Mar 2025 10:00 - 10:20 People: Marcel Ullrich, Sebastian Hack
… can explore the solution space, we are able to enumerate all correct sorting …
DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog
Main Conference When: Mon 3 Mar 2025 17:00 - 17:20 People: Abd-El-Aziz Zayed, Christophe Dubach
… , it considers all possible optimization interactions, through saturation, selecting …
Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security
Main Conference When: Tue 4 Mar 2025 16:20 - 16:40 People: Mahwish Arif, Sam Ainsworth, Timothy M. Jones
… Comprehensive application security can only be ensured if all code that it is going to execute is protected: any unprotected code, either from libraries or the application, becomes a potential attack surface. Compilers contain extensive …
GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks
Main Conference When: Mon 3 Mar 2025 14:40 - 15:00 People: Lazar Milikic, Milan Cugurovic, Vojin Jovanovic
… %, maintaining compilation efficiency and outperforming all existing static …
FastFlip: Compositional SDC Resiliency Analysis
Main Conference When: Tue 4 Mar 2025 10:00 - 10:20 People: Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita Adve, Darko Marinov, Sasa Misailovic
… a developer-specified target fraction of all SDC-causing errors. …
CUrator: An Efficient LLM Execution Engine with Optimized Integration of CUDA Libraries
Main Conference When: Mon 3 Mar 2025 16:00 - 16:20 People: Yoon Noh Lee, Yongseung Yu, Yongjun Park
… optimal kernels for all GEMMs within each LLM. CUrator further introduces two …
VEGA: Automatically Generating Compiler Backends Using a Pre-Trained Transformer Model
Main Conference When: Mon 3 Mar 2025 14:00 - 14:20 People: Ming Zhong, Fang Lv, Lulin Wang, Lei Qiu, Yingying Wang, Ying Liu, Huimin Cui, Xiaobing Feng, Jingling Xue
… accuracy rates of 71.5%, 73.2%, and 62.2% for all generated functions …