Mehrdad Afshari

According to our database, Mehrdad Afshari authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Toward Rapid Transformation of Ideas into Software.

Mehrdad Afshari, Zhendong Su

CoRR, 2016

Building white-box abstractions by program refinement.

Mehrdad Afshari, Zhendong Su

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

2014

Compiler validation via equivalence modulo inputs.

Vu Le, Mehrdad Afshari, Zhendong Su

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

Liberating the programmer with prorogued programming.

Mehrdad Afshari, Earl T. Barr, Zhendong Su

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012