default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuben Martins
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j14]Daniel Ramos
, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
BatFix: Repairing language model-based transpilation. ACM Trans. Softw. Eng. Methodol. 33(6): 161 (2024)- [c48]Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. FASE 2024: 232-254 - [c47]Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn:
Large Language Models for Test-Free Fault Localization. ICSE 2024: 17:1-17:12 - [c46]Margarida Ferreira, Ranysha Ware, Yash Kothari, Inês Lynce, Ruben Martins, Akshay Narayan, Justine Sherry:
Reverse-Engineering Congestion Control Algorithm Behavior. IMC 2024: 401-414 - [c45]Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins:
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane. CICM 2024: 21-41 - [c44]Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan:
Towards provably performant congestion control. NSDI 2024 - [c43]Soo-Jin Moon, Milind Srivastava, Yves Bieri, Ruben Martins, Vyas Sekar:
Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments. SP 2024: 4440-4458 - [i21]Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues:
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. CoRR abs/2404.15236 (2024) - [i20]Aidan Z. H. Yang, Haoye Tian, He Ye, Ruben Martins, Claire Le Goues:
Security Vulnerability Detection with Multitask Self-Instructed Fine-Tuning of Large Language Models. CoRR abs/2406.05892 (2024) - 2023
- [c42]Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel:
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023: 6436-6441 - [c41]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. ASE 2023: 1516-1528 - [c40]Pedro Orvalho, Vasco Manquinho, Ruben Martins:
UpMax: User Partitioning for MaxSAT. SAT 2023: 19:1-19:13 - [i19]Pedro Orvalho, Vasco Manquinho, Ruben Martins:
UpMax: User partitioning for MaxSAT. CoRR abs/2305.16191 (2023) - [i18]Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
MELT: Mining Effective Lightweight Transformations from Pull Requests. CoRR abs/2308.14687 (2023) - [i17]Aidan Z. H. Yang, Ruben Martins, Claire Le Goues, Vincent J. Hellendoorn:
Large Language Models for Test-Free Fault Localization. CoRR abs/2310.01726 (2023) - [i16]Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins:
On Repairing Natural Language to SQL Queries. CoRR abs/2310.03866 (2023) - [i15]Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule, Ruben Martins:
Minimizing Pentagons in the Plane through Automated Reasoning. CoRR abs/2311.03645 (2023) - 2022
- [c39]Anup Agarwal, Venkat Arun, Devdeep Ray, Ruben Martins, Srinivasan Seshan:
Automating network heuristic design and analysis. HotNets 2022: 8-16 - [c38]Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel:
Certified CNF Translations for Pseudo-Boolean Solving. SAT 2022: 16:1-16:25 - [c37]Francisco Pereira, Gonçalo Matos, Hugo Sadok, Daehyeok Kim, Ruben Martins, Justine Sherry, Fernando M. V. Ramos, Luis Pedrosa:
Automatic generation of network function accelerators using component-based synthesis. SOSR 2022: 89-97 - [i14]Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins:
CUBES: A Parallel Synthesizer for SQL Using Examples. CoRR abs/2203.04995 (2022) - 2021
- [c36]Margarida Ferreira, Akshay Narayan, Inês Lynce, Ruben Martins, Justine Sherry:
Counterfeiting Congestion Control Algorithms. HotNets 2021: 132-139 - [c35]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE 2021: 112-124 - [c34]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring. ICSE (Companion Volume) 2021: 190-191 - [c33]William Klieber, Ruben Martins, Ryan Steele, Matt Churilla, Mike McCall, David Svoboda:
Automated Code Repair to Ensure Spatial Memory Safety. APR@ICSE 2021: 23-30 - [c32]Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno:
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All. NSDI 2021: 115-131 - [c31]Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu:
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI 2021: 899-913 - [c30]Stephan Gocht, Jakob Nordström, Ruben Martins:
Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract). PxTP 2021: 48 - [c29]Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim:
Formal Verification of a Mixed-Trust Synchronization Protocol. RTNS 2021: 57-67 - [c28]Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang:
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE 2021: 155-167 - [c27]Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins:
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. TACAS (1) 2021: 152-169 - [p2]Fahiem Bacchus, Matti Järvisalo, Ruben Martins:
Maximum Satisfiability. Handbook of Satisfiability 2021: 929-991 - [i13]Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues:
SOAR: A Synthesis Approach for Data Science API Refactoring. CoRR abs/2102.06726 (2021) - 2020
- [j13]Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar:
Program equivalence for assisted grading of functional programs. Proc. ACM Program. Lang. 4(OOPSLA): 171:1-171:29 (2020) - [j12]Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho:
SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Proc. VLDB Endow. 13(12): 2853-2856 (2020) - [j11]Amit Vasudevan, Petros Maniatis, Ruben Martins:
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. ACM SIGOPS Oper. Syst. Rev. 54(1): 8-22 (2020) - [c26]Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins:
UNCHARTIT: An Interactive Framework for Program Recovery from Charts. ASE 2020: 175-186 - [c25]Peter Oostema, Ruben Martins, Marijn Heule:
Coloring Unit-Distance Strips using SAT. LPAR 2020: 373-389 - [i12]Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar:
Program Equivalence for Assisted Grading of Functional Programs (Extended Version). CoRR abs/2010.08051 (2020) - [i11]Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins:
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. CoRR abs/2012.14235 (2020)
2010 – 2019
- 2019
- [j10]Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins:
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. J. Satisf. Boolean Model. Comput. 11(1): 73-97 (2019) - [j9]Fahiem Bacchus, Matti Järvisalo, Ruben Martins:
MaxSAT Evaluation 2018: New Developments and Detailed Results. J. Satisf. Boolean Model. Comput. 11(1): 99-131 (2019) - [j8]Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig:
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12(12): 1914-1917 (2019) - [c24]Daniel Gibert, Alba Lamas, Ruben Martins, Carles Mateu, Jordi Planes:
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. CCIA 2019: 45-53 - [c23]Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho:
Encodings for Enumeration-Based Program Synthesis. CP 2019: 583-599 - [c22]Yanju Chen, Ruben Martins, Yu Feng:
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE 2019: 602-612 - [i10]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR abs/1910.04643 (2019) - 2018
- [c21]Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao:
Approximation Strategies for Incomplete MaxSAT. CP 2018: 219-228 - [c20]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
The Effect of Structural Measures and Merges on SAT Solver Performance. CP 2018: 436-452 - [c19]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh:
Learning-Sensitive Backdoors with Restarts. CP 2018: 453-469 - [c18]Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig:
Program synthesis using conflict-driven learning. PLDI 2018: 420-435 - [p1]Inês Lynce, Vasco Manquinho, Ruben Martins:
Parallel Maximum Satisfiability. Handbook of Parallel Constraint Reasoning 2018: 61-99 - [i9]Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao:
Approximation Strategies for Incomplete MaxSAT. CoRR abs/1806.07164 (2018) - 2017
- [j7]Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Incremental bounded model checking for embedded software. Formal Aspects Comput. 29(5): 911-931 (2017) - [c17]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017 - [c16]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI 2017: 422-436 - [c15]Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps:
Component-based synthesis for complex APIs. POPL 2017: 599-612 - [i8]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh:
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR abs/1706.08611 (2017) - 2016
- [c14]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Hunter: next-generation code reuse for Java. SIGSOFT FSE 2016: 1028-1032 - [c13]Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins:
Automatic Generation of Propagation Complete SAT Encodings. VMCAI 2016: 536-556 - [i7]Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR abs/1608.06254 (2016) - [i6]Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss:
Type-Directed Code Reuse using Integer Linear Programming. CoRR abs/1608.07745 (2016) - [i5]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR abs/1611.07502 (2016) - 2015
- [j6]Ruben Martins:
Parallel search for maximum satisfiability. Constraints An Int. J. 20(4): 469-470 (2015) - [j5]Ruben Martins, Vasco Manquinho, Inês Lynce:
Deterministic Parallel MaxSAT Solving. Int. J. Artif. Intell. Tools 24(3): 1550005:1-1550005:25 (2015) - [j4]Ruben Martins, Vasco Manquinho, Inês Lynce:
Improving linear search algorithms with model-based approaches for MaxSAT solving. J. Exp. Theor. Artif. Intell. 27(5): 673-701 (2015) - [c12]Saurabh Joshi, Ruben Martins, Vasco Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP 2015: 200-209 - [c11]Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Successful Use of Incremental BMC in the Automotive Industry. FMICS 2015: 62-77 - [c10]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-Based Representations for MaxSAT Solving. SAT 2015: 272-286 - [c9]Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj:
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. TAROS 2015: 69-81 - [i4]Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho:
Exploiting Resolution-based Representations for MaxSAT Solving. CoRR abs/1505.02405 (2015) - [i3]Saurabh Joshi, Ruben Martins, Vasco Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CoRR abs/1507.05920 (2015) - 2014
- [j3]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9(1): 59-81 (2014) - [c8]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CP 2014: 531-548 - [c7]Ruben Martins, Vasco Manquinho, Inês Lynce:
Open-WBO: A Modular MaxSAT Solver, . SAT 2014: 438-445 - [i2]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CoRR abs/1408.4628 (2014) - [i1]Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Incremental Bounded Model Checking for Embedded Software (extended version). CoRR abs/1409.5872 (2014) - 2013
- [c6]Ruben Martins, Vasco Manquinho, Inês Lynce:
Community-Based Partitioning for MaxSAT Solving. SAT 2013: 182-191 - 2012
- [j2]Ruben Martins, Vasco Manquinho, Inês Lynce:
Parallel search for maximum satisfiability. AI Commun. 25(2): 75-95 (2012) - [j1]Ruben Martins, Vasco Manquinho, Inês Lynce:
An overview of parallel SAT solving. Constraints An Int. J. 17(3): 304-347 (2012) - [c5]Ruben Martins, Vasco Manquinho, Inês Lynce:
On Partitioning for Maximum Satisfiability. ECAI 2012: 913-914 - [c4]Ruben Martins, Vasco Manquinho, Inês Lynce:
Clause Sharing in Parallel MaxSAT. LION 2012: 455-460 - 2011
- [c3]Ruben Martins, Vasco Manquinho, Inês Lynce:
Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. ICTAI 2011: 313-320 - 2010
- [c2]Ruben Martins, Vasco Manquinho, Inês Lynce:
Improving Search Space Splitting for Parallel SAT Solving. ICTAI (1) 2010: 336-343 - [c1]Vasco Manquinho, Ruben Martins, Inês Lynce:
Improving Unsatisfiability-Based Algorithms for Boolean Optimization. SAT 2010: 181-193
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
