Liberating the programmer with prorogued programming. - Mehrdad Afshari; Earl T. Barr; Zhendong Su 001 (Onward!, 2012)

Compiler validation via equivalence modulo inputs. - Vu Le 002; Mehrdad Afshari; Zhendong Su 001 (PLDI, 2014)

Building white-box abstractions by program refinement. - Mehrdad Afshari; Zhendong Su 001 (Onward!, 2016)

Toward Rapid Transformation of Ideas into Software. - Mehrdad Afshari; Zhendong Su 001 (CoRR, 2016)