Concepedia

Ruben Martins

RM

26

Publications

1.2K

Citations

20

H-Index

2007

Active since

Affiliations

The University of Texas at Austin(Current)

Carnegie Mellon University

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

University of Lisbon

McGill University

Ruben Martins is an author at The University of Texas at Austin specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware EngineeringSoftware AnalysisSoftware DesignFormal MethodsData ScienceSoftware TestingAutomated Reasoning

Publications per year

2007–2024

26

Publications

26

Component-based synthesis of table consolidation and transformation tasks from examples

Yu Feng, Ruben Martins, Jacob Van Geffen et al. · 2017 · 137 citations

Engineering, Software Engineering, Synthesis Algorithm +23

Efficacy of theta burst stimulation (TBS) for major depression: An exploratory meta-analysis of randomized and sham-controlled trials

Marcelo T. Berlim, Alexander McGirr, Nicole Rodrigues dos Santos et al. · Journal of Psychiatric Research · 2017 · 130 citations

Psychiatry, Mood Symptom, Major Depression +9

Component-based synthesis for complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang et al. · 2016 · 113 citations · Full text

Engineering, Verification, Software Engineering +21

Program synthesis using conflict-driven learning

Yu Feng, Ruben Martins, Osbert Bastani · 2018 · 108 citations · Full text

Artificial Intelligence, Engineering, Software Engineering +16

Large Language Models for Test-Free Fault Localization

Aidan Z. H. Yang, Claire Le Goues, Ruben Martins et al. · 2024 · 88 citations · Full text

Llm Fine-tuning, Engineering, Machine Learning +25

Rows per page

1–5 of 26