Ruben Martins
Carnegie Mellon University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Engineering Research, Constraint Satisfaction and Optimization, Logic, programming, and type systems
Most-Cited Works
- → Open-WBO: A Modular MaxSAT Solver,(2014)165 cited
- → Component-based synthesis of table consolidation and transformation tasks from examples(2017)137 cited
- → Efficacy of theta burst stimulation (TBS) for major depression: An exploratory meta-analysis of randomized and sham-controlled trials(2017)131 cited
- → Component-based synthesis for complex APIs(2016)113 cited
- → Program synthesis using conflict-driven learning(2018)108 cited
- → Large Language Models for Test-Free Fault Localization(2024)95 cited
- → Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability(2017)87 cited
- → An overview of parallel SAT solving(2012)60 cited
- → Using a simulation centre to evaluate preliminary acceptability and impact of an artificial intelligence-powered clinical decision support system for depression treatment on the physician–patient interaction(2021)54 cited