| Open-WBO: A Modular MaxSAT Solver, R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2014 | 306 | 2014 |
| Component-based synthesis of table consolidation and transformation tasks from examples Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri ACM SIGPLAN Notices 52 (6), 422-436, 2017 | 248 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 240 | 2018 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 216 | 2017 |
| Large language models for test-free fault localization AZH Yang, C Le Goues, R Martins, V Hellendoorn Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 180 | 2024 |
| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014 | 137 | 2014 |
| Automated synthesis of semantic malware signatures using maximum satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand arXiv preprint arXiv:1608.06254, 2016 | 124 | 2016 |
| Maximum satisfiability F Bacchus, M Järvisalo, R Martins Handbook of satisfiability, 929-991, 2021 | 121 | 2021 |
| An overview of parallel SAT solving R Martins, V Manquinho, I Lynce Constraints 17 (3), 304-347, 2012 | 98 | 2012 |
| Finding invariants of distributed systems: It's a small (enough) world after all T Hance, M Heule, R Martins, B Parno 18th USENIX symposium on networked systems design and implementation (NSDI …, 2021 | 75 | 2021 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015 | 74* | 2015 |
| Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho International conference on principles and practice of constraint …, 2015 | 71 | 2015 |
| Maxsat evaluation 2021: solver and benchmark descriptions F Bacchus, J Berg, M Järvisalo, R Martins Department of Computer Science, University of Helsinki, 2021 | 67 | 2021 |
| Patch generation with language models: Feasibility and scaling behavior SD Kolak, R Martins, C Le Goues, VJ Hellendoorn Deep Learning for Code Workshop, 2022 | 55 | 2022 |
| Syrust: automatic testing of rust libraries with semantic-aware program synthesis Y Takashima, R Martins, L Jia, CS Păsăreanu Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 54 | 2021 |
| Trinity: An extensible synthesis framework for data science R Martins, J Chen, Y Chen, Y Feng, I Dillig Proceedings of the VLDB Endowment 12 (12), 1914-1917, 2019 | 54 | 2019 |
| Improving Search Space Splitting for Parallel SAT Solving R Martins, V Manquinho, I Lynce International Conference on Tools with Artificial Intelligence, 313-320, 2010 | 46 | 2010 |
| SOAR: A synthesis approach for data science API refactoring A Ni, D Ramos, AZH Yang, I Lynce, V Manquinho, R Martins, C Le Goues 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 42 | 2021 |
| Maximal multi-layer specification synthesis Y Chen, R Martins, Y Feng Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 40 | 2019 |
| Community-based Partitioning for MaxSAT Solving R Martins, V Manquinho, I Lynce International Conference on Theory and Applications of Satisfiability …, 2013 | 38 | 2013 |
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
