Pavlos Petoumenos | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Yu Wang
276 publications
Min Xu
72 publications
Tong Wu
47 publications
Lucas C. Cordeiro
28 publications
Ajitha Rajan
17 publications
Chris Cummins
14 publications
Hugh Leather
14 publications
Kim Hazelwood
14 publications
Sitao Huang
12 publications
Guohao Dai
10 publications
Edoardo Manino
9 publications

research

∙ 03/02/2023

BenchDirect: A Directed Language Model for Compiler Benchmarks

The exponential increase of hardware-software complexity has made it imp...

0 Foivos Tsimpourlas, et al. ∙

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...

1 Tong Wu, et al. ∙

research

∙ 09/07/2022

Sgap: Towards Efficient Sparse Tensor Algebra Compilation for GPU

Sparse compiler is a promising solution for sparse tensor algebra optimi...

0 Genghan Zhang, et al. ∙

research

∙ 08/13/2022

BenchPress: A Deep Active Benchmark Generator

We develop BenchPress, the first ML benchmark generator for compilers th...

0 Foivos Tsimpourlas, et al. ∙