Follow
Mehrdad Afshari
Mehrdad Afshari
CEO @ Vivibe LLC; Ph.D. in Computer Science, University of California, Davis
Verified email at ucdavis.edu - Homepage
Title
Cited by
Cited by
Year
Compiler Validation via Equivalence Modulo Inputs
V Le, M Afshari, Z Su
Programming Language Design and Implementation (PLDI 2014), 2014
5062014
Liberating the Programmer with Prorogued Programming
M Afshari, ET Barr, Z Su
SPLASH Onward! 2012, 16, 2012
92012
Toward Rapid Transformation of Ideas into Software
M Afshari, Z Su
12016
Building White-Box Abstractions by Program Refinement
M Afshari, Z Su
SPLASH Onward! 2016, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–4