Ruben Martins

99 papers A* 14A 15B 5C 2Misc 5Journal 44Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game.
CoRR
Aditi Kabra, Jonathan Laurent, Ruben Martins, Stefan Mitsch, André Platzer
2026 J jnl
SPELL: Synthesis of Programmatic Edits using LLMs.
CoRR
Daniel Ramos, Catarina Gamboa, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2025 J jnl
Can Automated Feedback Turn Students into Happy Prologians?
CoRR
Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins
2025 B conf
Can Large Language Models Autoformalize Kinematics?
FMCAD
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer
2025 J jnl
Can Large Language Models Autoformalize Kinematics?
CoRR
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer
2025 A conf
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs.
ICST
Ricardo Brancas, Vasco Manquinho, Ruben Martins
2025 J jnl
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection.
CoRR
Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Inês Lynce, Ruben Martins
2025 J jnl
Inferring multiple helper Dafny assertions with LLMs.
CoRR
Álvaro F. Silva, Alexandra Mendes, Ruben Martins
2025 J jnl
Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages.
CoRR
Ronghao Ni, Aidan Z. H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, Kevin Cheang
2025 A* conf
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities.
NDSS
Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia
2025 A* conf
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models.
ICSE
Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues
2025 A* conf
The Impact of Literal Sorting on Cardinality Constraint Encodings.
AAAI
Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule
2024 C conf
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.
CICM
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2024 J jnl
BatFix: Repairing language model-based transpilation.
ACM Trans. Softw. Eng. Methodol.
Daniel Ramos, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2024 J jnl
Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs.
CoRR
Ricardo Brancas, Vasco Manquinho, Ruben Martins
2024 J jnl
Crabtree: Rust API Test Synthesis Guided by Coverage and Type.
Proc. ACM Program. Lang.
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu
2024 A* conf
Large Language Models for Test-Free Fault Localization.
ICSE
Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn
2024 A* conf
Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments.
SP
Soo-Jin Moon, Milind Srivastava, Yves Bieri, Ruben Martins, Vyas Sekar
2024 A conf
Reverse-Engineering Congestion Control Algorithm Behavior.
IMC
Margarida Ferreira, Ranysha Ware, Yash Kothari, Inês Lynce, Ruben Martins, Akshay Narayan, Justine Sherry
2024 J jnl
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models.
CoRR
Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues
2024 J jnl
Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models.
CoRR
Aidan Z. H. Yang, Haoye Tian, He Ye, Ruben Martins, Claire Le Goues
2024 B conf
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.
FASE
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2024 Misc conf
Towards provably performant congestion control.
NSDI
Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan
2023 A* conf
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
IJCAI
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
2023 J jnl
Large Language Models for Test-Free Fault Localization.
CoRR
Aidan Z. H. Yang, Ruben Martins, Claire Le Goues, Vincent J. Hellendoorn
2023 A* conf
MELT: Mining Effective Lightweight Transformations from Pull Requests.
ASE
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023 J jnl
MELT: Mining Effective Lightweight Transformations from Pull Requests.
CoRR
Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2023 J jnl
Minimizing Pentagons in the Plane through Automated Reasoning.
CoRR
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins
2023 J jnl
On Repairing Natural Language to SQL Queries.
CoRR
Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins
2023 A conf
UpMax: User Partitioning for MaxSAT.
SAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2023 J jnl
UpMax: User partitioning for MaxSAT.
CoRR
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2022 — conf
Automatic generation of network function accelerators using component-based synthesis.
SOSR
Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, Luis Pedrosa
2022 Misc conf
Automating network heuristic design and analysis.
HotNets
Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan
2022 J jnl
CUBES: A Parallel Synthesizer for SQL Using Examples.
CoRR
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2022 A conf
Certified CNF Translations for Pseudo-Boolean Solving.
SAT
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
2021 — conf
AlloyMax: bringing maximum satisfaction to relational specifications.
ESEC/SIGSOFT FSE
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2021 — conf
Automated Code Repair to Ensure Spatial Memory Safety.
APR@ICSE
William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda
2021 — conf
Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract).
PxTP
Stephan Gocht, Jakob Nordström, Ruben Martins
2021 Misc conf
Counterfeiting Congestion Control Algorithms.
HotNets
Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry
2021 — conf
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
TACAS (1)
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2021 Misc conf
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.
NSDI
Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno
2021 Misc conf
Formal Verification of a Mixed-Trust Synchronization Protocol.
RTNS
Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim
2021 — ch.
Maximum Satisfiability.
Handbook of Satisfiability
Fahiem Bacchus, Matti Järvisalo, Ruben Martins
2021 — conf
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.
ICSE (Companion Volume)
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 A* conf
SOAR: A Synthesis Approach for Data Science API Refactoring.
ICSE
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 J jnl
SOAR: A Synthesis Approach for Data Science API Refactoring.
CoRR
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues
2021 A* conf
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.
PLDI
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
2020 B conf
Coloring Unit-Distance Strips using SAT.
LPAR
Peter Oostema, Ruben Martins, Marijn Heule
2020 J jnl
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.
CoRR
Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2020 J jnl
Program Equivalence for Assisted Grading of Functional Programs (Extended Version).
CoRR
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
2020 J jnl
Program equivalence for assisted grading of functional programs.
Proc. ACM Program. Lang.
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
2020 J jnl
SQUARES : A SQL Synthesizer Using Query Reverse Engineering.
Proc. VLDB Endow.
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2020 A* conf
UNCHARTIT: An Interactive Framework for Program Recovery from Charts.
ASE
Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins
2020 J jnl
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms.
ACM SIGOPS Oper. Syst. Rev.
Amit Vasudevan, Petros Maniatis, Ruben Martins
2019 — conf
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks.
CCIA
Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes
2019 A conf
Encodings for Enumeration-Based Program Synthesis.
CP
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2019 J jnl
MaxSAT Evaluation 2018: New Developments and Detailed Results.
J. Satisf. Boolean Model. Comput.
Fahiem Bacchus, Matti Järvisalo, Ruben Martins
2019 — conf
Maximal multi-layer specification synthesis.
ESEC/SIGSOFT FSE
Yanju Chen, Ruben Martins, Yu Feng
2019 J jnl
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.
J. Satisf. Boolean Model. Comput.
Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
2019 J jnl
Reflections on "Incremental Cardinality Constraints for MaxSAT".
CoRR
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2019 J jnl
Trinity: An Extensible Synthesis Framework for Data Science.
Proc. VLDB Endow.
Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
2018 A conf
Approximation Strategies for Incomplete MaxSAT.
CP
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
2018 J jnl
Approximation Strategies for Incomplete MaxSAT.
CoRR
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
2018 A conf
Learning-Sensitive Backdoors with Restarts.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018 — ch.
Parallel Maximum Satisfiability.
Handbook of Parallel Constraint Reasoning
Inês Lynce, Vasco Manquinho, Ruben Martins
2018 A* conf
Program synthesis using conflict-driven learning.
PLDI
Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig
2018 A conf
The Effect of Structural Measures and Merges on SAT Solver Performance.
CP
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2017 A* conf
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
NDSS
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2017 A* conf
Component-based synthesis for complex APIs.
POPL
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 A* conf
Component-based synthesis of table consolidation and transformation tasks from examples.
PLDI
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2017 J jnl
Incremental bounded model checking for embedded software.
Formal Aspects Comput.
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2017 J jnl
Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
2016 J jnl
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
CoRR
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2016 B conf
Automatic Generation of Propagation Complete SAT Encodings.
VMCAI
Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
2016 J jnl
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.
CoRR
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2016 — conf
Hunter: next-generation code reuse for Java.
SIGSOFT FSE
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2016 J jnl
Type-Directed Code Reuse using Integer Linear Programming.
CoRR
Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss
2015 J jnl
Deterministic Parallel MaxSAT Solving.
Int. J. Artif. Intell. Tools
Ruben Martins, Vasco Manquinho, Inês Lynce
2015 A conf
Exploiting Resolution-Based Representations for MaxSAT Solving.
SAT
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015 J jnl
Exploiting Resolution-based Representations for MaxSAT Solving.
CoRR
Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho
2015 — conf
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.
TAROS
Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj
2015 A conf
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
CP
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2015 J jnl
Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
CoRR
Saurabh Joshi, Ruben Martins, Vasco Manquinho
2015 J jnl
Improving linear search algorithms with model-based approaches for MaxSAT solving.
J. Exp. Theor. Artif. Intell.
Ruben Martins, Vasco Manquinho, Inês Lynce
2015 J jnl
Parallel search for maximum satisfiability.
Constraints An Int. J.
Ruben Martins
2015 C conf
Successful Use of Incremental BMC in the Automotive Industry.
FMICS
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2014 J jnl
Incremental Bounded Model Checking for Embedded Software (extended version).
CoRR
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
2014 A conf
Incremental Cardinality Constraints for MaxSAT.
CP
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 J jnl
Incremental Cardinality Constraints for MaxSAT.
CoRR
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 J jnl
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.
J. Satisf. Boolean Model. Comput.
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
2014 A conf
Open-WBO: A Modular MaxSAT Solver, .
SAT
Ruben Martins, Vasco Manquinho, Inês Lynce
2013 A conf
Community-Based Partitioning for MaxSAT Solving.
SAT
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 J jnl
An overview of parallel SAT solving.
Constraints An Int. J.
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 — conf
Clause Sharing in Parallel MaxSAT.
LION
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 A conf
On Partitioning for Maximum Satisfiability.
ECAI
Ruben Martins, Vasco Manquinho, Inês Lynce
2012 J jnl
Parallel search for maximum satisfiability.
AI Commun.
Ruben Martins, Vasco Manquinho, Inês Lynce
2011 B conf
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.
ICTAI
Ruben Martins, Vasco Manquinho, Inês Lynce
2010 — conf
Improving Search Space Splitting for Parallel SAT Solving.
ICTAI (1)
Ruben Martins, Vasco Manquinho, Inês Lynce
2010 A conf
Improving Unsatisfiability-Based Algorithms for Boolean Optimization.
SAT
Vasco Manquinho, Ruben Martins, Inês Lynce