Ruben Martins

6 papers at tracked venues · 5 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICSE ×2 AAAI ×1 NDSS ×1 OOPSLA ×1 S&P ×1

Frequent coauthors

Min-Chien Hsu

×2

Limin Jia

×2

Aidan Z. H. Yang

×2

Vincent J. Hellendoorn

×2

Claire Le Goues

×2

Darion Cassel

×1

Nuno Sabino

×1

Sophia Kolak

×1

Joseph E. Reeves

×1

João Filipe

×1

Marijn J. H. Heule

×1

Yoshiki Takashima

×1

Papers

NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities
NDSS 2025 ·
Darion Cassel
,
Nuno Sabino
,
Min-Chien Hsu
, Ruben Martins,
Limin Jia
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
ICSE 2025 ·
Aidan Z. H. Yang
,
Sophia Kolak
,
Vincent J. Hellendoorn
, Ruben Martins,
Claire Le Goues
The Impact of Literal Sorting on Cardinality Constraint Encodings
AAAI 2025 ·
Joseph E. Reeves
,
João Filipe
,
Min-Chien Hsu
, Ruben Martins,
Marijn J. H. Heule
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
OOPSLA 2024 ·
Yoshiki Takashima
,
Chanhee Cho
, Ruben Martins,
Limin Jia
,
Corina S. Pasareanu
Large Language Models for Test-Free Fault Localization
ICSE 2024 ·
Aidan Z. H. Yang
,
Claire Le Goues
, Ruben Martins,
Vincent J. Hellendoorn
Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments
S&P 2024 ·
Soo-Jin Moon
,
Milind Srivastava
,
Yves Bieri
, Ruben Martins,
Vyas Sekar