David Menendez

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Topics

Visual Representations

Provably Correct

Inference Problems

Optimization Strategies

Top Venues

Publications

Olympia N. Mathiaparanam, Andrea Donovan, David Menendez, Collin Jones, Seung Heon Yoo, Martha W. Alibali, Charles W. Kalish, Karl S. Rosengren
Teacher Attitudes on Inheritance Diagram Features. CogSci (2023)
David Menendez, Sarah A. Brown, Martha W. Alibali
Some Correct Strategies Are Better Than Others: Individual Differences in Strategy Evaluations Are Related to Strategy Adoption. Cogn. Sci. 47 (3) (2023)
Olympia N. Mathiaparanam, Andrea Donovan, David Menendez, Collin Jones, Seung Heon Yoo, Martha W. Alibali, Charles W. Kalish, Karl S. Rosengren
Perceptual Features in Visual Representations: A Content Analysis of Inheritance Diagrams. CogSci (2022)
David Menendez, Taylor Johnson, Ryan Hassett, Ashley Haut, Olympia N. Mathiaparanam, Martha W. Alibali, Karl S. Rosengren
Characteristics of Visualizations and Texts in Elementary School Biology Books. CogSci (2020)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Practical verification of peephole optimizations with Alive. Commun. ACM 61 (2) (2018)
David Menendez, Martha W. Alibali, Karl S. Rosengren
Effects of priming variability on adults learning about metamorphosis. CogSci (2018)
Sarah A. Brown, David Menendez, Martha W. Alibali
How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter. CogSci (2018)
David Menendez, Santosh Nagarakatte
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. PLDI (2017)
David Menendez, Santosh Nagarakatte
Termination-checking for LLVM peephole optimizations. ICSE (2016)
David Menendez, Santosh Nagarakatte, Aarti Gupta
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. SAS (2016)
David Menendez, Santosh Nagarakatte
Precondition Inference for Peephole Optimizations in LLVM. CoRR (2016)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Provably correct peephole optimizations with alive. PLDI (2015)
Ross Berkowitz, Bahman Kalantari, Iraj Kalantari, David Menendez
On Properties of Forbidden Zones of Polygons and Polytopes. Trans. Comput. Sci. 20 (2013)
Ross Berkowitz, Bahman Kalantari, David Menendez, Iraj Kalantari
On Properties of Forbidden Zones of Polygons and Polytopes. ISVD (2012)