8 citations · 12 across the 6 of their papers we have counts for
6 papers
BenchDirect: A Directed Language Model for Compiler Benchmarks
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu +4
The exponential increase of hardware-software complexity has made it impossible for compiler engineers to find the right optimization heuristics manually. Predictive models have be…
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
Tong Wu, Edoardo Manino, Fatimah Aljaafari +2
We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (…
Sgap: Towards Efficient Sparse Tensor Algebra Compilation for GPU
Genghan Zhang, Yuetong Zhao, Yanting Tao +6
Sparse compiler is a promising solution for sparse tensor algebra optimization. In compiler implementation, reduction in sparse-dense hybrid algebra plays a key role in performance…
BenchPress: A Deep Active Benchmark Generator
Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu +4
We develop BenchPress, the first ML benchmark generator for compilers that is steerable within feature space representations of source code. BenchPress synthesizes compiling functi…
Iterative compilation on mobile devices
Paschalis Mpeis, Pavlos Petoumenos, Hugh Leather
The abundance of poorly optimized mobile applications coupled with their increasing centrality in our digital lives make a framework for mobile app optimization an imperative. Whil…
Autotuning OpenCL Workgroup Size for Stencil Patterns
Chris Cummins, Pavlos Petoumenos, Michel Steuwer +1
Selecting an appropriate workgroup size is critical for the performance of OpenCL kernels, and requires knowledge of the underlying hardware, the data being operated on, and the im…