David Menendez

According to our database, David Menendez authored at least 11 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2023

2020

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

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2018

Practical verification of peephole optimizations with Alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Commun. ACM, 2018

Effects of priming variability on adults learning about metamorphosis.

David Menendez, Martha W. Alibali, Karl S. Rosengren

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

How do people evaluate problem-solving strategies? Efficiency and intuitiveness matter.

Sarah A. Brown, David Menendez, Martha W. Alibali

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

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

David Menendez, Santosh Nagarakatte

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Precondition Inference for Peephole Optimizations in LLVM.

David Menendez, Santosh Nagarakatte

CoRR, 2016

Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.

David Menendez, Santosh Nagarakatte, Aarti Gupta

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Termination-checking for LLVM peephole optimizations.

David Menendez, Santosh Nagarakatte

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Provably correct peephole optimizations with alive.

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2013

On Properties of Forbidden Zones of Polygons and Polytopes.

Ross Berkowitz, Bahman Kalantari, Iraj Kalantari, David Menendez

Trans. Comput. Sci., 2013