Statistics
Publications
2
Citations
79
H-Index
2
Active since
1997
Affiliations
Stanford University(Current)
Olukotun is an author at Stanford University specializing in computer engineering, formal methods, and program analysis.
Publications per year
1997–1997
2
2
Verifying correct pipeline implementation for microprocessors
Levitt, Olukotun · 1997 · 18 citations
Engineering, Hardware Verification Language, Verification +19
1–2 of 2