3
Publications
64
Citations
3
H-Index
2015
Active since
Affiliations
Kyle Headley is an author at Amazon (United States) specializing in formal methods, software maintenance, and system software.
Top concepts
EngineeringFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2015–2024
3
3
Incremental computation with names
Matthew A. Hammer, Jana Dunfield, Kyle Headley et al. · 2015 · 41 citations · Full text
Aravind Machiry, John Kastner, Matt McCutchen et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text
Rows per page
1–3 of 3