Mehrdad Afshari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | OOPSLA | Building white-box abstractions by program refinement. | Mehrdad Afshari, Zhendong Su |
| 2014 | PLDI | Compiler validation via equivalence modulo inputs. | Vu Le, Mehrdad Afshari, Zhendong Su |
| 2012 | OOPSLA | Liberating the programmer with prorogued programming. | Mehrdad Afshari, Earl T. Barr, Zhendong Su |