معرفی
Ruben Martins is an Assistant Professor at Carnegie Mellon University, focusing on constraint programming, program synthesis, analysis, and verification. His work aims to enhance programmer productivity and automate data science tasks through synthesis techniques.
- Education: Ph.D. (2013) from Technical University of Lisbon; Postdoc at University of Oxford (2014-2015) and UT Austin (2015-2017).
- Research Interests: Program Synthesis, Software Verification, Security, Decision Procedures, Boolean Satisfiability, MaxSAT, and their applications in real-world optimization.
Article Trends: Recent publications emphasize integrating large language models (LLMs) with synthesis techniques for automated repair and refactoring, alongside advancements in MaxSAT solvers like Open-WBO. His work spans venues such as POPL, PLDI, FSE, and SAT.
- Scientific Awards: Distinguished Paper Award at PLDI 2018; Gold Medals in MaxSAT Competitions for Open-WBO.
- Current Roles: Committee Member in OOPSLA Review Committees across multiple conferences.
۰مقاله منتشرشده
