David Menendez

17 papers A* 3B 9Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Cognition in Action: The relation between physical and mental paper folding in young children.
CogSci
David Menendez, Samuel Halama, Taylor Johnson, Karl S. Rosengren
2025 B conf
Once Upon a Goodbye: Exploring How Animated Films Spark Child-Caregiver Conversations About Death.
CogSci
Henrique Santos, David Menendez
2025 B conf
U.S. adults' beliefs and explanations about health disparities.
CogSci
David Menendez, Danielle Labotka, Valerie A. Umscheid, Susan A. Gelman
2023 J jnl
Some Correct Strategies Are Better Than Others: Individual Differences in Strategy Evaluations Are Related to Strategy Adoption.
Cogn. Sci.
David Menendez, Sarah A. Brown, Martha W. Alibali
2023 B conf
Teacher Attitudes on Inheritance Diagram Features.
CogSci
Olympia N. Mathiaparanam, Andrea Donovan, David Menendez, Collin Jones, Seung Heon Yoo, Martha W. Alibali, Charles W. Kalish, Karl S. Rosengren
2022 B conf
Perceptual Features in Visual Representations: A Content Analysis of Inheritance Diagrams.
CogSci
Olympia N. Mathiaparanam, Andrea Donovan, David Menendez, Collin Jones, Seung Heon Yoo, Martha W. Alibali, Charles W. Kalish, Karl S. Rosengren
2020 B conf
Characteristics of Visualizations and Texts in Elementary School Biology Books.
CogSci
David Menendez, Taylor Johnson, Ryan Hassett, Ashley Haut, Olympia N. Mathiaparanam, Martha W. Alibali, Karl S. Rosengren
2018 B conf
Effects of priming variability on adults learning about metamorphosis.
CogSci
David Menendez, Martha W. Alibali, Karl S. Rosengren
2018 B conf
How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter.
CogSci
Sarah A. Brown, David Menendez, Martha W. Alibali
2018 J jnl
Practical verification of peephole optimizations with Alive.
Commun. ACM
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2017 A* conf
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM.
PLDI
David Menendez, Santosh Nagarakatte
2016 B conf
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.
SAS
David Menendez, Santosh Nagarakatte, Aarti Gupta
2016 J jnl
Precondition Inference for Peephole Optimizations in LLVM.
CoRR
David Menendez, Santosh Nagarakatte
2016 A* conf
Termination-checking for LLVM peephole optimizations.
ICSE
David Menendez, Santosh Nagarakatte
2015 A* conf
Provably correct peephole optimizations with alive.
PLDI
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2013 J jnl
On Properties of Forbidden Zones of Polygons and Polytopes.
Trans. Comput. Sci.
Ross Berkowitz, Bahman Kalantari, Iraj Kalantari, David Menendez
2012 — conf
On Properties of Forbidden Zones of Polygons and Polytopes.
ISVD
Ross Berkowitz, Bahman Kalantari, David Menendez, Iraj Kalantari