Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ruben Martins
@inproceedings{DBLP:conf/fase/BrancasTVMM24,
author = {Ricardo Brancas and
Miguel Terra{-}Neves and
Miguel Ventura and
Vasco M. Manquinho and
Ruben Martins},
editor = {Dirk Beyer and
Ana Cavalcanti},
title = {Towards Reliable {SQL} Synthesis: Fuzzing-Based Evaluation and Disambiguation},
booktitle = {Fundamental Approaches to Software Engineering - 27th International
Conference, {FASE} 2024, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
Luxembourg, April 6-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {232--254},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_11},
doi = {10.1007/978-3-031-57259-3\_11},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BrancasTVMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YangGMH24,
author = {Aidan Z. H. Yang and
Claire {Le Goues} and
Ruben Martins and
Vincent J. Hellendoorn},
title = {Large Language Models for Test-Free Fault Localization},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {17:1--17:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3623342},
doi = {10.1145/3597503.3623342},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YangGMH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/AgarwalARMS24,
author = {Anup Agarwal and
Venkat Arun and
Devdeep Ray and
Ruben Martins and
Srinivasan Seshan},
editor = {Laurent Vanbever and
Irene Zhang},
title = {Towards provably performant congestion control},
booktitle = {21st {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2024, Santa Clara, CA, April 15-17, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/nsdi24/presentation/agarwal-anup},
timestamp = {Fri, 19 Apr 2024 11:29:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/AgarwalARMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GochtMNO23,
author = {Stephan Gocht and
Ruben Martins and
Jakob Nordstr{\"{o}}m and
Andy Oertel},
title = {Certified {CNF} Translations for Pseudo-Boolean Solving (Extended
Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6436--6441},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/716},
doi = {10.24963/IJCAI.2023/716},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GochtMNO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamosMLMMG23,
author = {Daniel Ramos and
Hailie Mitchell and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins and
Claire {Le Goues}},
title = {{MELT:} Mining Effective Lightweight Transformations from Pull Requests},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1516--1528},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00117},
doi = {10.1109/ASE56229.2023.00117},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RamosMLMMG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/OrvalhoMM23,
author = {Pedro Orvalho and
Vasco M. Manquinho and
Ruben Martins},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {UpMax: User Partitioning for MaxSAT},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {19:1--19:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.19},
doi = {10.4230/LIPICS.SAT.2023.19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/OrvalhoMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16191,
author = {Pedro Orvalho and
Vasco M. Manquinho and
Ruben Martins},
title = {UpMax: User partitioning for MaxSAT},
journal = {CoRR},
volume = {abs/2305.16191},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16191},
doi = {10.48550/ARXIV.2305.16191},
eprinttype = {arXiv},
eprint = {2305.16191},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14687,
author = {Daniel Ramos and
Hailie Mitchell and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins and
Claire {Le Goues}},
title = {{MELT:} Mining Effective Lightweight Transformations from Pull Requests},
journal = {CoRR},
volume = {abs/2308.14687},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14687},
doi = {10.48550/ARXIV.2308.14687},
eprinttype = {arXiv},
eprint = {2308.14687},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-01726,
author = {Aidan Z. H. Yang and
Ruben Martins and
Claire {Le Goues} and
Vincent J. Hellendoorn},
title = {Large Language Models for Test-Free Fault Localization},
journal = {CoRR},
volume = {abs/2310.01726},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.01726},
doi = {10.48550/ARXIV.2310.01726},
eprinttype = {arXiv},
eprint = {2310.01726},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03866,
author = {Aidan Z. H. Yang and
Ricardo Brancas and
Pedro Esteves and
Sofia Aparicio and
Jo{\~{a}}o Pedro Nadkarni and
Miguel Terra{-}Neves and
Vasco M. Manquinho and
Ruben Martins},
title = {On Repairing Natural Language to {SQL} Queries},
journal = {CoRR},
volume = {abs/2310.03866},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03866},
doi = {10.48550/ARXIV.2310.03866},
eprinttype = {arXiv},
eprint = {2310.03866},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03645,
author = {Bernardo Subercaseaux and
John Mackey and
Marijn J. H. Heule and
Ruben Martins},
title = {Minimizing Pentagons in the Plane through Automated Reasoning},
journal = {CoRR},
volume = {abs/2311.03645},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03645},
doi = {10.48550/ARXIV.2311.03645},
eprinttype = {arXiv},
eprint = {2311.03645},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03645.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/AgarwalARMS22,
author = {Anup Agarwal and
Venkat Arun and
Devdeep Ray and
Ruben Martins and
Srinivasan Seshan},
title = {Automating network heuristic design and analysis},
booktitle = {Proceedings of the 21st {ACM} Workshop on Hot Topics in Networks,
HotNets 2022, Austin, Texas, November 14-15, 2022},
pages = {8--16},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563766.3564085},
doi = {10.1145/3563766.3564085},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/AgarwalARMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GochtMNO22,
author = {Stephan Gocht and
Ruben Martins and
Jakob Nordstr{\"{o}}m and
Andy Oertel},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {Certified {CNF} Translations for Pseudo-Boolean Solving},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {16:1--16:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.16},
doi = {10.4230/LIPICS.SAT.2022.16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GochtMNO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/PereiraMSKMSRP22,
author = {Francisco Pereira and
Gon{\c{c}}alo Matos and
Hugo Sadok and
Daehyeok Kim and
Ruben Martins and
Justine Sherry and
Fernando M. V. Ramos and
Luis Pedrosa},
title = {Automatic generation of network function accelerators using component-based
synthesis},
booktitle = {{SOSR} '22: The {ACM} {SIGCOMM} Symposium on {SDN} Research, Virtual
Event, October 19 - 20, 2022},
pages = {89--97},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563647.3563656},
doi = {10.1145/3563647.3563656},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosr/PereiraMSKMSRP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-04995,
author = {Ricardo Brancas and
Miguel Terra{-}Neves and
Miguel Ventura and
Vasco M. Manquinho and
Ruben Martins},
title = {{CUBES:} {A} Parallel Synthesizer for {SQL} Using Examples},
journal = {CoRR},
volume = {abs/2203.04995},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.04995},
doi = {10.48550/ARXIV.2203.04995},
eprinttype = {arXiv},
eprint = {2203.04995},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-04995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/Ferreira0LMS21,
author = {Margarida Ferreira and
Akshay Narayan and
In{\^{e}}s Lynce and
Ruben Martins and
Justine Sherry},
title = {Counterfeiting Congestion Control Algorithms},
booktitle = {HotNets '21: The 20th {ACM} Workshop on Hot Topics in Networks, Virtual
Event, United Kingdom, November 10-12, 2021},
pages = {132--139},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3484266.3487381},
doi = {10.1145/3484266.3487381},
timestamp = {Mon, 08 Nov 2021 10:29:11 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/Ferreira0LMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NiRYLMMG21,
author = {Ansong Ni and
Daniel Ramos and
Aidan Z. H. Yang and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins and
Claire {Le Goues}},
title = {{SOAR:} {A} Synthesis Approach for Data Science {API} Refactoring},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {112--124},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00023},
doi = {10.1109/ICSE43902.2021.00023},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NiRYLMMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NiRYLMMG21a,
author = {Ansong Ni and
Daniel Ramos and
Aidan Z. H. Yang and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins and
Claire {Le Goues}},
title = {Replication of {SOAR:} {A} Synthesis Approach for Data Science {API}
Refactoring},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {190--191},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00083},
doi = {10.1109/ICSE-COMPANION52605.2021.00083},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/NiRYLMMG21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-apr/KlieberMSCMS21,
author = {William Klieber and
Ruben Martins and
Ryan Steele and
Matt Churilla and
Mike McCall and
David Svoboda},
title = {Automated Code Repair to Ensure Spatial Memory Safety},
booktitle = {2nd {IEEE/ACM} International Workshop on Automated Program Repair,
APR@ICSE 2021, Madrid, Spain, June 1, 2021},
pages = {23--30},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APR52552.2021.00013},
doi = {10.1109/APR52552.2021.00013},
timestamp = {Wed, 11 Aug 2021 15:47:26 +0200},
biburl = {https://dblp.org/rec/conf/icse-apr/KlieberMSCMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HanceHMP21,
author = {Travis Hance and
Marijn Heule and
Ruben Martins and
Bryan Parno},
editor = {James Mickens and
Renata Teixeira},
title = {Finding Invariants of Distributed Systems: It's a Small (Enough) World
After All},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {115--131},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/hance},
timestamp = {Thu, 12 Aug 2021 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/HanceHMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TakashimaM0P21,
author = {Yoshiki Takashima and
Ruben Martins and
Limin Jia and
Corina S. Pasareanu},
editor = {Stephen N. Freund and
Eran Yahav},
title = {SyRust: automatic testing of Rust libraries with semantic-aware program
synthesis},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {899--913},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454084},
doi = {10.1145/3453483.3454084},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TakashimaM0P21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/GochtNM21,
author = {Stephan Gocht and
Jakob Nordstr{\"{o}}m and
Ruben Martins},
editor = {Chantal Keller and
Mathias Fleury},
title = {Certifying {CNF} Encodings of Pseudo-Boolean Constraints (abstract)},
booktitle = {Proceedings Seventh Workshop on Proof eXchange for Theorem Proving,
PxTP 2021, Pittsburg, PA, USA, July 11, 2021},
series = {{EPTCS}},
volume = {336},
pages = {48},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.336.5},
doi = {10.4204/EPTCS.336.5},
timestamp = {Thu, 25 Nov 2021 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/GochtNM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/MartinsMNVAKLK21,
author = {Ruben Martins and
Michael McCall and
Dionisio de Niz and
Amit Vasudevan and
Bj{\"{o}}rn Andersson and
Mark Klein and
John P. Lehoczky and
Hyoseung Kim},
editor = {Audrey Queudet and
Iain Bate and
Giuseppe Lipari},
title = {Formal Verification of a Mixed-Trust Synchronization Protocol},
booktitle = {RTNS'2021: 29th International Conference on Real-Time Networks and
Systems, Nantes, France, April 7-9, 2021},
pages = {57--67},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453417.3453431},
doi = {10.1145/3453417.3453431},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtns/MartinsMNVAKLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangWOGMMK21,
author = {Changjian Zhang and
Ryan Wagner and
Pedro Orvalho and
David Garlan and
Vasco M. Manquinho and
Ruben Martins and
Eunsuk Kang},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {AlloyMax: bringing maximum satisfaction to relational specifications},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {155--167},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468587},
doi = {10.1145/3468264.3468587},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangWOGMMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FerreiraTVLM21,
author = {Margarida Ferreira and
Miguel Terra{-}Neves and
Miguel Ventura and
In{\^{e}}s Lynce and
Ruben Martins},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {{FOREST:} An Interactive Multi-tree Synthesizer for Regular Expressions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {152--169},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_9},
doi = {10.1007/978-3-030-72016-2\_9},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FerreiraTVLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BacchusJM21,
author = {Fahiem Bacchus and
Matti J{\"{a}}rvisalo and
Ruben Martins},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Maximum Satisfiabiliy},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {929--991},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201008},
doi = {10.3233/FAIA201008},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/BacchusJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06726,
author = {Ansong Ni and
Daniel Ramos and
Aidan Z. H. Yang and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins and
Claire {Le Goues}},
title = {{SOAR:} {A} Synthesis Approach for Data Science {API} Refactoring},
journal = {CoRR},
volume = {abs/2102.06726},
year = {2021},
url = {https://arxiv.org/abs/2102.06726},
eprinttype = {arXiv},
eprint = {2102.06726},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CluneRMA20,
author = {Joshua Clune and
Vijay Ramamurthy and
Ruben Martins and
Umut A. Acar},
title = {Program equivalence for assisted grading of functional programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {171:1--171:29},
year = {2020},
url = {https://doi.org/10.1145/3428239},
doi = {10.1145/3428239},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CluneRMA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/OrvalhoTVMM20,
author = {Pedro Orvalho and
Miguel Terra{-}Neves and
Miguel Ventura and
Ruben Martins and
Vasco M. Manquinho},
title = {{SQUARES} : {A} {SQL} Synthesizer Using Query Reverse Engineering},
journal = {Proc. {VLDB} Endow.},
volume = {13},
number = {12},
pages = {2853--2856},
year = {2020},
url = {http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf},
doi = {10.14778/3415478.3415492},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/OrvalhoTVMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/VasudevanMM20,
author = {Amit Vasudevan and
Petros Maniatis and
Ruben Martins},
title = {{\"{u}}berSpark: Practical, Provable, End-to-End Guarantees on
Commodity Heterogenous Interconnected Computing Platforms},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {54},
number = {1},
pages = {8--22},
year = {2020},
url = {https://doi.org/10.1145/3421473.3421476},
doi = {10.1145/3421473.3421476},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/VasudevanMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RamosPLMM20,
author = {Daniel Ramos and
Jorge Pereira and
In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins},
title = {{UNCHARTIT:} An Interactive Framework for Program Recovery from Charts},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {175--186},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416613},
doi = {10.1145/3324884.3416613},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RamosPLMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/OostemaMH20,
author = {Peter Oostema and
Ruben Martins and
Marijn Heule},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Coloring Unit-Distance Strips using {SAT}},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {373--389},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/btmj},
doi = {10.29007/BTMJ},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/OostemaMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08051,
author = {Joshua Clune and
Vijay Ramamurthy and
Ruben Martins and
Umut A. Acar},
title = {Program Equivalence for Assisted Grading of Functional Programs (Extended
Version)},
journal = {CoRR},
volume = {abs/2010.08051},
year = {2020},
url = {https://arxiv.org/abs/2010.08051},
eprinttype = {arXiv},
eprint = {2010.08051},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-08051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14235,
author = {Margarida Ferreira and
Miguel Terra{-}Neves and
Miguel Ventura and
In{\^{e}}s Lynce and
Ruben Martins},
title = {{FOREST:} An Interactive Multi-tree Synthesizer for Regular Expressions},
journal = {CoRR},
volume = {abs/2012.14235},
year = {2020},
url = {https://arxiv.org/abs/2012.14235},
eprinttype = {arXiv},
eprint = {2012.14235},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/JoshiKRM19,
author = {Saurabh Joshi and
Prateek Kumar and
Sukrut Rao and
Ruben Martins},
title = {Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {73--97},
year = {2019},
url = {https://doi.org/10.3233/SAT190118},
doi = {10.3233/SAT190118},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/JoshiKRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BacchusJM19,
author = {Fahiem Bacchus and
Matti J{\"{a}}rvisalo and
Ruben Martins},
title = {MaxSAT Evaluation 2018: New Developments and Detailed Results},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {99--131},
year = {2019},
url = {https://doi.org/10.3233/SAT190119},
doi = {10.3233/SAT190119},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/BacchusJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/MartinsCCFD19,
author = {Ruben Martins and
Jia Chen and
Yanju Chen and
Yu Feng and
Isil Dillig},
title = {Trinity: An Extensible Synthesis Framework for Data Science},
journal = {Proc. {VLDB} Endow.},
volume = {12},
number = {12},
pages = {1914--1917},
year = {2019},
url = {http://www.vldb.org/pvldb/vol12/p1914-martins.pdf},
doi = {10.14778/3352063.3352098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/MartinsCCFD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/GibertLMMP19,
author = {Daniel Gibert and
Alba Lamas and
Ruben Martins and
Carles Mateu and
Jordi Planes},
editor = {Jordi Sabater{-}Mir and
Vicen{\c{c}} Torra and
Isabel Aguil{\'{o}} and
Manuel Gonz{\'{a}}lez Hidalgo},
title = {An Android Malware Detection Framework Using Graph Embeddings and
Convolutional Neural Networks},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 22nd International Conference of the Catalan Association for Artificial
Intelligence, {CCIA} 2019, Mallorca, Spain, 23-25 October 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {319},
pages = {45--53},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190107},
doi = {10.3233/FAIA190107},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/GibertLMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OrvalhoTVMM19,
author = {Pedro Orvalho and
Miguel Terra{-}Neves and
Miguel Ventura and
Ruben Martins and
Vasco M. Manquinho},
editor = {Thomas Schiex and
Simon de Givry},
title = {Encodings for Enumeration-Based Program Synthesis},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {583--599},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_34},
doi = {10.1007/978-3-030-30048-7\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/OrvalhoTVMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenMF19,
author = {Yanju Chen and
Ruben Martins and
Yu Feng},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Maximal multi-layer specification synthesis},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {602--612},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338951},
doi = {10.1145/3338906.3338951},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenMF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04643,
author = {Ruben Martins and
Saurabh Joshi and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Reflections on "Incremental Cardinality Constraints for MaxSAT"},
journal = {CoRR},
volume = {abs/1910.04643},
year = {2019},
url = {http://arxiv.org/abs/1910.04643},
eprinttype = {arXiv},
eprint = {1910.04643},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/0001KMR18,
author = {Saurabh Joshi and
Prateek Kumar and
Ruben Martins and
Sukrut Rao},
editor = {John N. Hooker},
title = {Approximation Strategies for Incomplete MaxSAT},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {219--228},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_15},
doi = {10.1007/978-3-319-98334-9\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/0001KMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZulkoskiMWLCG18,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Jia Hui Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
editor = {John N. Hooker},
title = {The Effect of Structural Measures and Merges on {SAT} Solver Performance},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {436--452},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_29},
doi = {10.1007/978-3-319-98334-9\_29},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWLCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZulkoskiMWRLCG18,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Robert Robere and
Jia Hui Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
editor = {John N. Hooker},
title = {Learning-Sensitive Backdoors with Restarts},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {453--469},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_30},
doi = {10.1007/978-3-319-98334-9\_30},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZulkoskiMWRLCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengMBD18,
author = {Yu Feng and
Ruben Martins and
Osbert Bastani and
Isil Dillig},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Program synthesis using conflict-driven learning},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {420--435},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192382},
doi = {10.1145/3192366.3192382},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FengMBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/LynceMM18,
author = {In{\^{e}}s Lynce and
Vasco M. Manquinho and
Ruben Martins},
editor = {Youssef Hamadi and
Lakhdar Sais},
title = {Parallel Maximum Satisfiability},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {61--99},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-63516-3\_3},
doi = {10.1007/978-3-319-63516-3\_3},
timestamp = {Fri, 04 May 2018 16:08:20 +0200},
biburl = {https://dblp.org/rec/books/sp/18/LynceMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07164,
author = {Saurabh Joshi and
Prateek Kumar and
Ruben Martins and
Sukrut Rao},
title = {Approximation Strategies for Incomplete MaxSAT},
journal = {CoRR},
volume = {abs/1806.07164},
year = {2018},
url = {http://arxiv.org/abs/1806.07164},
eprinttype = {arXiv},
eprint = {1806.07164},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SchrammelKBMTB17,
author = {Peter Schrammel and
Daniel Kroening and
Martin Brain and
Ruben Martins and
Tino Teige and
Tom Bienm{\"{u}}ller},
title = {Incremental bounded model checking for embedded software},
journal = {Formal Aspects Comput.},
volume = {29},
number = {5},
pages = {911--931},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0419-1},
doi = {10.1007/S00165-017-0419-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SchrammelKBMTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/FengBMDA17,
author = {Yu Feng and
Osbert Bastani and
Ruben Martins and
Isil Dillig and
Saswat Anand},
title = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
booktitle = {24th Annual Network and Distributed System Security Symposium, {NDSS}
2017, San Diego, California, USA, February 26 - March 1, 2017},
publisher = {The Internet Society},
year = {2017},
url = {https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/automated-synthesis-semantic-malware-signatures-using-maximum-satisfiability/},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/FengBMDA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengMGDC17,
author = {Yu Feng and
Ruben Martins and
Jacob Van Geffen and
Isil Dillig and
Swarat Chaudhuri},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Component-based synthesis of table consolidation and transformation
tasks from examples},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {422--436},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062351},
doi = {10.1145/3062341.3062351},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FengMGDC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FengM0DR17,
author = {Yu Feng and
Ruben Martins and
Yuepeng Wang and
Isil Dillig and
Thomas W. Reps},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Component-based synthesis for complex APIs},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {599--612},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009851},
doi = {10.1145/3009837.3009851},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/FengM0DR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZulkoskiMWRLCG17,
author = {Edward Zulkoski and
Ruben Martins and
Christoph M. Wintersteiger and
Robert Robere and
Jia Liang and
Krzysztof Czarnecki and
Vijay Ganesh},
title = {Relating Complexity-theoretic Parameters with {SAT} Solver Performance},
journal = {CoRR},
volume = {abs/1706.08611},
year = {2017},
url = {http://arxiv.org/abs/1706.08611},
eprinttype = {arXiv},
eprint = {1706.08611},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZulkoskiMWRLCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001FMKDR16,
author = {Yuepeng Wang and
Yu Feng and
Ruben Martins and
Arati Kaushik and
Isil Dillig and
Steven P. Reiss},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Hunter: next-generation code reuse for Java},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {1028--1032},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2983934},
doi = {10.1145/2950290.2983934},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0001FMKDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BrainHKM16,
author = {Martin Brain and
Liana Hadarean and
Daniel Kroening and
Ruben Martins},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Automatic Generation of Propagation Complete {SAT} Encodings},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {536--556},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_26},
doi = {10.1007/978-3-662-49122-5\_26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BrainHKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengBMDA16,
author = {Yu Feng and
Osbert Bastani and
Ruben Martins and
Isil Dillig and
Saswat Anand},
title = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
journal = {CoRR},
volume = {abs/1608.06254},
year = {2016},
url = {http://arxiv.org/abs/1608.06254},
eprinttype = {arXiv},
eprint = {1608.06254},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FengBMDA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangFMKDR16,
author = {Yuepeng Wang and
Yu Feng and
Ruben Martins and
Arati Kaushik and
Isil Dillig and
Steven P. Reiss},
title = {Type-Directed Code Reuse using Integer Linear Programming},
journal = {CoRR},
volume = {abs/1608.07745},
year = {2016},
url = {http://arxiv.org/abs/1608.07745},
eprinttype = {arXiv},
eprint = {1608.07745},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangFMKDR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengMGDC16,
author = {Yu Feng and
Ruben Martins and
Jacob Van Geffen and
Isil Dillig and
Swarat Chaudhuri},
title = {Component-based Synthesis of Table Consolidation and Transformation
Tasks from Examples},
journal = {CoRR},
volume = {abs/1611.07502},
year = {2016},
url = {http://arxiv.org/abs/1611.07502},
eprinttype = {arXiv},
eprint = {1611.07502},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FengMGDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Martins15,
author = {Ruben Martins},
title = {Parallel search for maximum satisfiability},
journal = {Constraints An Int. J.},
volume = {20},
number = {4},
pages = {469--470},
year = {2015},
url = {https://doi.org/10.1007/s10601-015-9207-9},
doi = {10.1007/S10601-015-9207-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Martins15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/MartinsML15,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Deterministic Parallel MaxSAT Solving},
journal = {Int. J. Artif. Intell. Tools},
volume = {24},
number = {3},
pages = {1550005:1--1550005:25},
year = {2015},
url = {https://doi.org/10.1142/s0218213015500050},
doi = {10.1142/S0218213015500050},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/MartinsML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/MartinsML15,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Improving linear search algorithms with model-based approaches for
MaxSAT solving},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {27},
number = {5},
pages = {673--701},
year = {2015},
url = {https://doi.org/10.1080/0952813X.2014.993508},
doi = {10.1080/0952813X.2014.993508},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/MartinsML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/0001MM15,
author = {Saurabh Joshi and
Ruben Martins and
Vasco M. Manquinho},
editor = {Gilles Pesant},
title = {Generalized Totalizer Encoding for Pseudo-Boolean Constraints},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {200--209},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_15},
doi = {10.1007/978-3-319-23219-5\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/0001MM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SchrammelKBMTB15,
author = {Peter Schrammel and
Daniel Kroening and
Martin Brain and
Ruben Martins and
Tino Teige and
Tom Bienm{\"{u}}ller},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Successful Use of Incremental {BMC} in the Automotive Industry},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {62--77},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_5},
doi = {10.1007/978-3-319-19458-5\_5},
timestamp = {Mon, 03 Jan 2022 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/fmics/SchrammelKBMTB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NevesMJLM15,
author = {Miguel Neves and
Ruben Martins and
Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce and
Vasco M. Manquinho},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Exploiting Resolution-Based Representations for MaxSAT Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {272--286},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_20},
doi = {10.1007/978-3-319-24318-4\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NevesMJLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/BucheliKMN15,
author = {Samuel Bucheli and
Daniel Kroening and
Ruben Martins and
Ashutosh Natraj},
editor = {Clare Dixon and
Karl Tuyls},
title = {From AgentSpeak to {C} for Safety Considerations in Unmanned Aerial
Vehicles},
booktitle = {Towards Autonomous Robotic Systems - 16th Annual Conference, {TAROS}
2015, Liverpool, UK, September 8-10, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9287},
pages = {69--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22416-9\_9},
doi = {10.1007/978-3-319-22416-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/taros/BucheliKMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NevesMJLM15,
author = {Miguel Neves and
Ruben Martins and
Mikol{\'{a}}s Janota and
In{\^{e}}s Lynce and
Vasco M. Manquinho},
title = {Exploiting Resolution-based Representations for MaxSAT Solving},
journal = {CoRR},
volume = {abs/1505.02405},
year = {2015},
url = {http://arxiv.org/abs/1505.02405},
eprinttype = {arXiv},
eprint = {1505.02405},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NevesMJLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001MM15,
author = {Saurabh Joshi and
Ruben Martins and
Vasco M. Manquinho},
title = {Generalized Totalizer Encoding for Pseudo-Boolean Constraints},
journal = {CoRR},
volume = {abs/1507.05920},
year = {2015},
url = {http://arxiv.org/abs/1507.05920},
eprinttype = {arXiv},
eprint = {1507.05920},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001MM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/Martins0ML14,
author = {Ruben Martins and
Saurabh Joshi and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {59--81},
year = {2014},
url = {https://doi.org/10.3233/sat190102},
doi = {10.3233/SAT190102},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/Martins0ML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MartinsJML14,
author = {Ruben Martins and
Saurabh Joshi and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
editor = {Barry O'Sullivan},
title = {Incremental Cardinality Constraints for MaxSAT},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {531--548},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_39},
doi = {10.1007/978-3-319-10428-7\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MartinsJML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MartinsML14,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
editor = {Carsten Sinz and
Uwe Egly},
title = {Open-WBO: {A} Modular MaxSAT Solver,},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {438--445},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_33},
doi = {10.1007/978-3-319-09284-3\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MartinsML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartinsJML14,
author = {Ruben Martins and
Saurabh Joshi and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Incremental Cardinality Constraints for MaxSAT},
journal = {CoRR},
volume = {abs/1408.4628},
year = {2014},
url = {http://arxiv.org/abs/1408.4628},
eprinttype = {arXiv},
eprint = {1408.4628},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MartinsJML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchrammelKBMTB14,
author = {Peter Schrammel and
Daniel Kroening and
Martin Brain and
Ruben Martins and
Tino Teige and
Tom Bienm{\"{u}}ller},
title = {Incremental Bounded Model Checking for Embedded Software (extended
version)},
journal = {CoRR},
volume = {abs/1409.5872},
year = {2014},
url = {http://arxiv.org/abs/1409.5872},
eprinttype = {arXiv},
eprint = {1409.5872},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchrammelKBMTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MartinsML13,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Community-Based Partitioning for MaxSAT Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {182--191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_14},
doi = {10.1007/978-3-642-39071-5\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MartinsML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/MartinsML12,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Parallel search for maximum satisfiability},
journal = {{AI} Commun.},
volume = {25},
number = {2},
pages = {75--95},
year = {2012},
url = {https://doi.org/10.3233/AIC-2012-0517},
doi = {10.3233/AIC-2012-0517},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/MartinsML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MartinsML12,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {An overview of parallel {SAT} solving},
journal = {Constraints An Int. J.},
volume = {17},
number = {3},
pages = {304--347},
year = {2012},
url = {https://doi.org/10.1007/s10601-012-9121-3},
doi = {10.1007/S10601-012-9121-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MartinsML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MartinsML12,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {On Partitioning for Maximum Satisfiability},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {913--914},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-913},
doi = {10.3233/978-1-61499-098-7-913},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/MartinsML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/MartinsML12,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
editor = {Youssef Hamadi and
Marc Schoenauer},
title = {Clause Sharing in Parallel MaxSAT},
booktitle = {Learning and Intelligent Optimization - 6th International Conference,
{LION} 6, Paris, France, January 16-20, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7219},
pages = {455--460},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34413-8\_44},
doi = {10.1007/978-3-642-34413-8\_44},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lion/MartinsML12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MartinsML11,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Exploiting Cardinality Encodings in Parallel Maximum Satisfiability},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {313--320},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.54},
doi = {10.1109/ICTAI.2011.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/MartinsML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MartinsML10,
author = {Ruben Martins and
Vasco M. Manquinho and
In{\^{e}}s Lynce},
title = {Improving Search Space Splitting for Parallel {SAT} Solving},
booktitle = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 1},
pages = {336--343},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICTAI.2010.56},
doi = {10.1109/ICTAI.2010.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/MartinsML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ManquinhoML10,
author = {Vasco M. Manquinho and
Ruben Martins and
In{\^{e}}s Lynce},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Improving Unsatisfiability-Based Algorithms for Boolean Optimization},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {181--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_16},
doi = {10.1007/978-3-642-14186-7\_16},
timestamp = {Sat, 19 Oct 2019 20:28:15 +0200},
biburl = {https://dblp.org/rec/conf/sat/ManquinhoML10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-09 00:30 CEST 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:
