3 papers
cs.SE2024
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
Foivos Tsimpourlas, Chao Peng, Carlos Rosuero +2
The Go programming language has gained significant traction for developing software, especially in various infrastructure systems. Nonetheless, concurrency bugs have become a preva…
cs.LG2023
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…
cs.AI2022
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…