Ruben Martins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
22
Active years
2010–2025
Best venue rank
A*
Where they publish
- ASAT6 papers
- ACP6 papers
- A*ICSE4 papers
- A*PLDI3 papers
- A*NDSS2 papers
- NationalNSDI2 papers
- NationalHOTNETS2 papers
- BICTAI2 papers
- A*AAAI1 paper
- BFMCAD1 paper
- AICST1 paper
- BFASE1 paper
- AIMC1 paper
- A*SP1 paper
- A*IJCAI1 paper
- NationalRTNS1 paper
- ATACAS1 paper
- BLPAR1 paper
- A*POPL1 paper
- BVMCAI1 paper
- CFMICS1 paper
- AECAI1 paper
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | The Impact of Literal Sorting on Cardinality Constraint Encodings. | Joseph E. Reeves, Joo Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule |
| 2025 | FMCAD | Can Large Language Models Autoformalize Kinematics? | Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, Andr Platzer |
| 2025 | ICSE | Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. | Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues |
| 2025 | ICST | Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs. | Ricardo Brancas, Vasco Manquinho, Ruben Martins |
| 2025 | NDSS | NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. | Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia |
| 2024 | FASE | Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. | Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins |
| 2024 | IMC | Reverse-Engineering Congestion Control Algorithm Behavior. | Margarida Ferreira, Ranysha Ware, Yash Kothari, Ins Lynce, Ruben Martins, Akshay Narayan, Justine Sherry |
| 2024 | ICSE | Large Language Models for Test-Free Fault Localization. | Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn |
| 2024 | NSDI | Towards provably performant congestion control. | Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan |
| 2024 | SP | Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments. | Soo-Jin Moon, Milind Srivastava, Yves Bieri, Ruben Martins, Vyas Sekar |
| 2023 | IJCAI | Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). | Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel |
| 2023 | SAT | UpMax: User Partitioning for MaxSAT. | Pedro Orvalho, Vasco Manquinho, Ruben Martins |
| 2022 | HOTNETS | Automating network heuristic design and analysis. | Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan |
| 2022 | SAT | Certified CNF Translations for Pseudo-Boolean Solving. | Stephan Gocht, Ruben Martins, Jakob Nordstrm, Andy Oertel |
| 2021 | HOTNETS | Counterfeiting Congestion Control Algorithms. | Margarida Ferreira, Akshay Narayan, Ins Lynce, Ruben Martins, Justine Sherry |
| 2021 | ICSE | SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | ICSE | Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. | Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Ins Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2021 | NSDI | Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. | Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno |
| 2021 | PLDI | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. | Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2021 | RTNS | Formal Verification of a Mixed-Trust Synchronization Protocol. | Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjrn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim |
| 2021 | TACAS | FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. | Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Ins Lynce, Ruben Martins |
| 2020 | LPAR | Coloring Unit-Distance Strips using SAT. | Peter Oostema, Ruben Martins, Marijn Heule |
| 2019 | CP | Encodings for Enumeration-Based Program Synthesis. | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho |
| 2018 | CP | Approximation Strategies for Incomplete MaxSAT. | Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao |
| 2018 | CP | The Effect of Structural Measures and Merges on SAT Solver Performance. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | PLDI | Program synthesis using conflict-driven learning. | Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
| 2017 | NDSS | Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. | Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand |
| 2017 | PLDI | Component-based synthesis of table consolidation and transformation tasks from examples. | Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
| 2017 | POPL | Component-based synthesis for complex APIs. | Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps |
| 2016 | VMCAI | Automatic Generation of Propagation Complete SAT Encodings. | Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
| 2015 | CP | Generalized Totalizer Encoding for Pseudo-Boolean Constraints. | Saurabh Joshi, Ruben Martins, Vasco Manquinho |
| 2015 | FMICS | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2015 | SAT | Exploiting Resolution-Based Representations for MaxSAT Solving. | Miguel Neves, Ruben Martins, Mikols Janota, Ins Lynce, Vasco Manquinho |
| 2014 | CP | Incremental Cardinality Constraints for MaxSAT. | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ins Lynce |
| 2014 | SAT | Open-WBO: A Modular MaxSAT Solver, . | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2013 | SAT | Community-Based Partitioning for MaxSAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2012 | ECAI | On Partitioning for Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2011 | ICTAI | Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2010 | ICTAI | Improving Search Space Splitting for Parallel SAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2010 | SAT | Improving Unsatisfiability-Based Algorithms for Boolean Optimization. | Vasco Manquinho, Ruben Martins, Ins Lynce |