Paper accepted at PLDI’17: Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples [arxiv version]. Yu Feng, Ruben Martins, Jacob VanGeffen, Isil Dillig, Swarat Chaudhuri (to appear).
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.
Paper accepted at FSE’16: Hunter: Type-Directed Code Reuse using Integer Linear Programming. Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss.
Open-WBO was the best overall MaxSAT solver in the partial MaxSAT category of the MaxSAT Evaluation 2016.
Ruben Martins is a postdoctoral researcher at the University of Texas at Austin, USA. Prior to joining UT Austin, he was a postdoctoral researcher at the University of Oxford, UK, and 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 Maximum Satisfiability (MaxSAT) solving. He is currently the main developer of Open-WBO: an open source MaxSAT solver that won several awards in the 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.
