Ruben Martins is a Systems Scientist at Carnegie Mellon University. His interests lie in the intersection of constraint programming with program synthesis, analysis, and verification. His recent research focuses on using programming synthesis to improve programmer’s productivity and to automate data science-related tasks. Ruben received his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013). He was a postdoctoral researcher at the University of Oxford, UK (2014-2015), and a postdoctoral researcher at UT Austin (2015-2017). He has published in top-tier venues, including, POPL, PLDI, FSE, SAT, CP, and has won a distinguished paper award at PLDI 2018 for his work on program synthesis. He has also developed several award-winning constraint solvers and is the main developer of Open-WBO: an open-source Maximum Satisfiability (MaxSAT) solver that won several gold medals in MaxSAT competitions. Open-WBO is used to solve many real-world discrete optimizations problems including finding an optimal seating arrangement for his own wedding.
PhD in Information Systems and Computer Engineering, 2013
University of Lisbon
M.Sc. and B.Sc. in Mathematics and Applications, 2008
University of Lisbon
Looking for PhD students to work on program synthesis! If you are interested, send me an email and apply to the Ph.D. program at CMU!
Teaching 15-816 Advanced Topics in Logic: Automated Reasoning and Satisfiability with Marijn Heule. Learn how to use automated reasoning to solve applications ranging from verification of hardware and software to solving long-standing open problems in mathematics.
Paper conditionally accepted at OOPSLA'20: Program Equivalence for Assisted Grading of Functional Programs (will be available soon). Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut Acar.
Paper accepted at ASE'20: UnchartIt: An Interactive Framework for Program Recovery from Charts. Daniel Ramos, Jorge Pereira, Ines Lynce, Vasco Manquinho, Ruben Martins.
Paper accepted at VLDB'20: SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho.
Paper accepted at LPAR'20: Coloring Unit-Distance Strips using SAT. Peter Oostema, Ruben Martins, Marijn Heule.
Previous students that I mentored at CMU:
Contact me if you are an undergraduate student that wants to work on program verification or program synthesis for either SCS Independent studies or a summer internship.