Concepedia

David Menendez

DM

Statistics

Publications

5

Citations

196

H-Index

5

Active since

2015

Affiliations

Microsoft Research (United Kingdom)(Current)

University of Utah

Rutgers, The State University of New Jersey

Rutgers Sexual and Reproductive Health and Rights

David Menendez is an author at Microsoft Research (United Kingdom) specializing in engineering, compilers, and formal verification.

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationApproximation TheoryComputer EngineeringAutomated Reasoning

Publications per year

2015–2018

5

Publications

5

Provably correct peephole optimizations with alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al. · 2015 · 127 citations

Large-scale Global Optimization, Engineering, Compiler Technology +20

Practical verification of peephole optimizations with Alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al. · Communications of the ACM · 2018 · 24 citations

Mathematical Programming, Practical Verification, Large-scale Global Optimization +19

Provably correct peephole optimizations with alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte et al. · ACM SIGPLAN Notices · 2015 · 19 citations

Large-scale Global Optimization, Engineering, Compiler Technology +20

Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM

David Menendez, Santosh Nagarakatte · 2017 · 15 citations · Full text

Termination-checking for LLVM peephole optimizations

David Menendez, Santosh Nagarakatte · 2016 · 11 citations · Full text

Mathematical Programming, Engineering, Hardware Verification Language +22

1–5 of 5