Program Synthesis Tools for Scientific Computing




This project is to develop a program synthesis tool for applications in Scientific Computing. Specifically, we will use program synthesis methods to take mathematical algorithm descriptions as input and produce functionally correct and performant code. We will develop the program synthesis tool based on recent advances in the area of communication avoiding algorithms in scientific computing. We will verify the program synthesis tool’s output against known solutions, and perform a “blind” evaluation on radiation transport sweep algorithm where communication avoiding variants are not known.

Other Researchers

Brendan Kochunas (Nuclear Engineering and Radiological Sciences)

Xinyu Wang (Electrical Engineering and Computer Science)

Qicang Shen (Nuclear Engineering and Radiological Sciences)