关注
Mehrdad Afshari
Mehrdad Afshari
CEO @ Signeen Inc.; Ph.D. Computer Science, University of California, Davis
在 ucdavis.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Compiler Validation via Equivalence Modulo Inputs
V Le, M Afshari, Z Su
Programming Language Design and Implementation (PLDI 2014), 2014
5132014
Liberating the Programmer with Prorogued Programming
M Afshari, ET Barr, Z Su
SPLASH Onward! 2012, 16, 2012
102012
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
系统目前无法执行此操作，请稍后再试。
文章 1–4