Scholar
Ruben Martins
Google Scholar ID: 43ePfKMAAAAJ
Carnegie Mellon University
Citations & Impact
Citations
2,144
H-index
21
i10-index
45
Publications
20
Co-authors
21
list available
Publications
Resume (English only)
Academic Achievements
- Published in top-tier venues including POPL, PLDI, FSE, SAT, and CP
- Distinguished Paper Award at PLDI 2018 for work on program synthesis
- Distinguished Paper Award at FSE 2021 for work on optimization
- Distinguished Paper Award at SAT 2022 for work on verified encodings
- Developed several award-winning constraint solvers
- Leading developer of Open-WBO, an open-source MaxSAT solver that won multiple gold medals in MaxSAT competitions
