research
∙
03/02/2023
BenchDirect: A Directed Language Model for Compiler Benchmarks
The exponential increase of hardware-software complexity has made it imp...
share
research
∙
01/22/2023
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 machin...
research
∙
09/07/2022
Sgap: Towards Efficient Sparse Tensor Algebra Compilation for GPU
Sparse compiler is a promising solution for sparse tensor algebra optimi...
research
∙
08/13/2022