Concepedia

Nathan Keynes

NK

9

Publications

295

Citations

9

H-Index

2009

Active since

Affiliations

Oracle (United States)(Current)

Nathan Keynes is an author at Oracle (United States) specializing in software analysis, engineering, and software engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringComputer EngineeringFormal MethodsFormal VerificationSoftware TestingParallel Programming

Publications per year

2009–2016

9

Publications

9

Boosting the performance of flow-sensitive points-to analysis using value flow

Lian Li, Cristina Cifuentes, Nathan Keynes · 2011 · 97 citations

Engineering, Machine Learning, Points-to Analysis +27

Cristina Cifuentes, Christian Hoermann, Nathan Keynes et al. · 2009 · 50 citations

Software Maintenance, Reliability, Benchmarking Tool +15

Practical and effective symbolic analysis for buffer overflow detection

Lian Li, Cristina Cifuentes, Nathan Keynes · 2010 · 32 citations

Buffer Overflow Detection, Engineering, Software Engineering +19

The Truth, The Whole Truth, and Nothing But the Truth

Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth et al. · ACM Transactions on Programming Languages and Systems · 2016 · 29 citations

Humanities, Existentialism, Whole Truth +14

Precise and scalable context-sensitive pointer analysis via value flow graph

Lian Li, Cristina Cifuentes, Nathan Keynes · 2013 · 23 citations

Engineering, Compiler Technology, Computer Architecture +21

Rows per page

1–5 of 9