| 2025 | CogSci | Cognition in Action: The relation between physical and mental paper folding in young children. | David Menendez, Samuel Halama, Taylor Johnson, Karl S. Rosengren |
| 2025 | CogSci | U.S. adults' beliefs and explanations about health disparities. | David Menendez, Danielle Labotka, Valerie A. Umscheid, Susan A. Gelman |
| 2025 | CogSci | Once Upon a Goodbye: Exploring How Animated Films Spark Child-Caregiver Conversations About Death. | Henrique Santos, David Menendez |
| 2023 | CogSci | 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 |
| 2022 | CogSci | 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 |
| 2020 | CogSci | 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 |
| 2018 | CogSci | How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter. | Sarah A. Brown, David Menendez, Martha W. Alibali |
| 2018 | CogSci | Effects of priming variability on adults learning about metamorphosis. | David Menendez, Martha W. Alibali, Karl S. Rosengren |
| 2017 | PLDI | Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. | David Menendez, Santosh Nagarakatte |
| 2016 | ICSE | Termination-checking for LLVM peephole optimizations. | David Menendez, Santosh Nagarakatte |
| 2016 | SAS | Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. | David Menendez, Santosh Nagarakatte, Aarti Gupta |
| 2015 | PLDI | Provably correct peephole optimizations with alive. | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |