Paper accepted at PLDI’18: Program Synthesis using Conflict-Driven Learning. Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig.
Open-WBO was the best MaxSAT solver in the incomplete and complete tracks for Unweighted MaxSAT at the MaxSAT Evaluation 2017.
Check out our Morpheus video at PLDI’17 on data preparation tasks!
Paper accepted at PLDI’17: Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. Yu Feng, Ruben Martins, Jacob VanGeffen, Isil Dillig, Swarat Chaudhuri.
Paper accepted at NDSS’17: Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand.
Paper accepted at POPL’17: Component-Based Synthesis for Complex APIs. Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Tom Reps.
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 automate data science related tasks such as data querying, imputation, consolidation, and tidying. Ruben received his PhD with honors from the Technical University of Lisbon, Portugal (2013). He was a postdoctoral researcher at University of Oxford, UK (2014-2015) and a postdoctoral researcher at UT Austin (2015-2017). He has 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.
PhD in Information Systems and Computer Engineering, 2013
University of Lisbon
M.Sc. and B.Sc. in Mathematics and Applications, 2008
University of Lisbon
For a full list of publications see my Google Scholar Profile or DBLP.
