Ruben Martins

Registered user since Mon 4 Sep 2017

Name: Ruben Martins

Bio: Ruben Martins is a Systems Scientist at the Carnegie Mellon University. Prior to joining CMU, he was a postdoctoral researcher at UT Austin where he pushed the frontiers of program synthesis and security with constraint solving. Before UT Austin, he was a postdoctoral researcher at the University of Oxford, UK where he worked on CBMC for software verification. He received his PhD with honors from the University of Lisbon, Portugal in 2013. His research aims to improve constraint solvers and broaden their applicability in program analysis, synthesis, and security. Dr. Martins has developed several award winning solvers and has consistently improved the state-of-the-art in MaxSAT solving. He is currently the main developer of Open-WBO: an open source MaxSAT solver that won several awards in the MaxSAT competitions.

Affiliation: Carnegie Mellon University

Personal website:

Research interests: Program Synthesis. Software Verification, Security, Decision Procedures, Boolean Satisfiability, MaxSAT


ASE 2020 Author of UnchartIt: An Interactive Framework for Program Recovery from Charts within the Research Papers-track
SPLASH 2020 Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track
Session Chair of F-4A (part of OOPSLA)
ICSE 2021 Author of SOAR: A Synthesis Approach for Data Science API Refactoring within the Technical Track-track
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2018 Author of Program Synthesis using Conflict-Driven Learning within the PLDI Research Papers-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2017 Author of Component-Based Synthesis for Complex APIs within the POPL-track
PLDI 2017 Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
VMCAI Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track