On Properties of Forbidden Zones of Polygons and Polytopes. - Ross Berkowitz; Bahman Kalantari; Iraj Kalantari; David Menendez (Trans. Comput. Sci., 2013)

Provably correct peephole optimizations with alive. - Nuno P. Lopes; David Menendez; Santosh Nagarakatte; John Regehr (PLDI, 2015)

Termination-checking for LLVM peephole optimizations. - David Menendez; Santosh Nagarakatte (ICSE, 2016)

Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. - David Menendez; Santosh Nagarakatte; Aarti Gupta (SAS, 2016)

Precondition Inference for Peephole Optimizations in LLVM. - David Menendez; Santosh Nagarakatte (CoRR, 2016)

Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. - David Menendez; Santosh Nagarakatte (PLDI, 2017)

How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter. - Sarah A. Brown; David Menendez; Martha W. Alibali (CogSci, 2018)

Effects of priming variability on adults learning about metamorphosis. - David Menendez; Martha W. Alibali; Karl S. Rosengren (CogSci, 2018)

Practical verification of peephole optimizations with Alive. - Nuno P. Lopes; David Menendez; Santosh Nagarakatte; John Regehr (Commun. ACM, 2018)

Characteristics of Visualizations and Texts in Elementary School Biology Books. - David Menendez; Taylor Johnson; Ryan Hassett; Ashley Haut; Olympia N. Mathiaparanam; Martha W. Alibali; Karl S. Rosengren (CogSci, 2020)

Perceptual Features in Visual Representations: A Content Analysis of Inheritance Diagrams. - Olympia N. Mathiaparanam; Andrea Donovan; David Menendez; Collin Jones; Seung Heon Yoo; Martha W. Alibali; Charles W. Kalish; Karl S. Rosengren (CogSci, 2022)

Teacher Attitudes on Inheritance Diagram Features. - Olympia N. Mathiaparanam; Andrea Donovan; David Menendez; Collin Jones; Seung Heon Yoo; Martha W. Alibali; Charles W. Kalish; Karl S. Rosengren (CogSci, 2023)

Some Correct Strategies Are Better Than Others: Individual Differences in Strategy Evaluations Are Related to Strategy Adoption. - David Menendez; Sarah A. Brown; Martha W. Alibali (Cogn. Sci., 2023)