2 papers
cs.SE2026
LLVM-Bench: Benchmarking and Advancing Large Language Models for LLVM Compiler Issue Resolution
Zhao Tian, Yingquan Zhao, Chenyao Suo +2
LLVM is a widely used compiler infrastructure whose scale and complexity make issue resolution labor-intensive and challenging. Although large language models (LLMs) have recently…
cs.PL2021
CircuitFlow: A Domain Specific Language for Dataflow Programming (with appendices)
Riley Evans, Samantha Frohlich, Meng Wang
Dataflow applications, such as machine learning algorithms, can run for days, making it desirable to have assurances that they will work correctly. Current tools are not good enoug…