Mehrdad Afshari

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Object Oriented

General Purpose

Top Venues

Publications

Mehrdad Afshari, Zhendong Su
Building white-box abstractions by program refinement. Onward! (2016)
Mehrdad Afshari, Zhendong Su
Toward Rapid Transformation of Ideas into Software. CoRR (2016)
Vu Le, Mehrdad Afshari, Zhendong Su
Compiler validation via equivalence modulo inputs. PLDI (2014)
Mehrdad Afshari, Earl T. Barr, Zhendong Su
Liberating the programmer with prorogued programming. Onward! (2012)