Follow
Mehrdad Afshari
Mehrdad Afshari
CEO @ Signeen Inc.; Ph.D. 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
5812014
Liberating the Programmer with Prorogued Programming
M Afshari, ET Barr, Z Su
SPLASH Onward! 2012, 16, 2012
122012
Toward Rapid Transformation of Ideas into Software
M Afshari, Z Su
22016
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