Search Results for author:
Found 6 papers, 5 papers with code
BenchDirect: A Directed Language Model for Compiler Benchmarks
We improve this with BenchDirect which utilizes a directed LM that infills programs by jointly observing source code context and the compiler features that are targeted.
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)
We describe and evaluate LF-checker, a metaverifier tool based on machine learning.
BenchPress: A Deep Active Benchmark Generator
We develop BenchPress, the first ML benchmark generator for compilers that is steerable within feature space representations of source code.
End-to-End Deep Learning of Optimization Heuristics
We develop a deep neural network that learns heuristics over raw code, entirely without using code features.
Iterative compilation on mobile devices
Replaying the targeted functions allows us to evaluate the effectiveness of each set of optimizations for the actual way the user interacts with the application.
Programming Languages
Autotuning OpenCL Workgroup Size for Stencil Patterns
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 implementation of the kernel.
Distributed, Parallel, and Cluster Computing
