Statistics
Publications
2
Citations
23
H-Index
2
Active since
2022
Affiliations
Amazon (United States)(Current)
Aaron Eline is an author at Amazon (United States) specializing in formal methods, hardware security, and system software.
Publications per year
2022–2024
2
2
Aravind Machiry, John Kastner, Matt McCutchen et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text
Rows per page
1–2 of 2