David Menendez

David Menendez is an Assistant Professor in the Department of Computer Science at Rutgers University. His research focuses on programming languages, compiler design, and formal methods. He has received prestigious awards including the ACM SIGPLAN John C. Reynolds Dissertation Award and the Best Paper Award at PLDI 2015. His work emphasizes compiler correctness, memory safety, and static analysis.

Education: PhD in Computer Science from Rutgers University (inferred from his 2016 PhD student mention in the text).

Research Interests:

• Formal verification of compilers
• Compiler optimization techniques
• Memory safety in low-level programming
• Automated testing and debugging tools

Awards:

• Best Paper Award at PLDI 2015
• ACM SIGPLAN John C. Reynolds Dissertation Award
• Distinguished Paper at ICSE 2016

Grants and Advising: Collaborates with Prof. Santosh Nagarakatte on compiler research. Current advising details are not specified in the text.

Labs/Teams: Likely affiliated with Rutgers' Programming Languages and Software Engineering research groups.