SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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.

Country:United States
Affiliation:Carnegie Mellon University
Research interests:Program Synthesis. Software Verification, Security, Decision Procedures, Boolean Satisfiability, MaxSAT

Contributions

SPLASH 2021 SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Show activities from other conferences

Using general profile