Concepedia

Author

Mike Shaver

Intel (United States)

Also Known As

Mike Shaver

2

Publications

386

Citations

2

H-Index

12

Concepts

All Affiliations

Intel (United States)Adobe Systems (United States)University of California, IrvineMozilla Foundation
MS

About

Mike Shaver is an author at Intel (United States) specializing in automated reasoning, program analysis, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

386

2

Computer Engineering

2

2

386

3

Computer Science

2

2

386

4

Compilers

2

2

386

5

Computer Architecture

2

2

386

Mike Shaver

×

2

Publications

386

Citations

2

H-Index

YearCitations

Page 1