Concepedia

Author

Mehrdad Afshari

University of California, Davis

Also Known As

Afshari, Mehrdad, Mehrdad Afshari

6

Publications

580

Citations

3

H-Index

21

Concepts

All Affiliations

University of California, Davis
MA

About

Mehrdad Afshari is an author at University of California, Davis specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

577

2

Computer Science

3

3

577

3

Computer Engineering

2

2

566

4

Compilers

2

2

566

5

Language Studies

1

1

11

Mehrdad Afshari

×

3

Publications

577

Citations

3

H-Index

YearCitations

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su

2014

364

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su

ACM SIGPLAN Notices

2014

202

Liberating the programmer with prorogued programming

Mehrdad Afshari, Earl T. Barr, Zhendong Su

2012

11

Page 1