Trinity: An Extensible Synthesis Framework for Data Science.

Ruben Martins

Ruben Martins Jia Chen Yanju Chen Yu Feng Isil Dillig Trinity: An Extensible Synthesis Framework for Data Science. 1914-1917 2019 12 PVLDB 12 http://www.vldb.org/pvldb/vol12/p1914-martins.pdf https://doi.org/10.14778/3352063.3352098 db/journals/pvldb/pvldb12.html#MartinsCCFD19

Daniel Gibert Alba Lamas Ruben Martins Carles Mateu Jordi Planes An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks. 45-53 2019 CCIA https://doi.org/10.3233/FAIA190107 conf/ccia/2019 db/conf/ccia/ccia2019.html#GibertLMMP19 Pedro Orvalho Miguel Terra-Neves Miguel Ventura Ruben Martins Vasco M. Manquinho Encodings for Enumeration-Based Program Synthesis. 583-599 2019 CP https://doi.org/10.1007/978-3-030-30048-7_34 conf/cp/2019 db/conf/cp/cp2019.html#OrvalhoTVMM19 Yanju Chen Ruben Martins Yu Feng Maximal multi-layer specification synthesis. 602-612 2019 ESEC/SIGSOFT FSE https://doi.org/10.1145/3338906.3338951 conf/sigsoft/2019 db/conf/sigsoft/fse2019.html#ChenMF19

Ruben Martins Saurabh Joshi 0001 Vasco M. Manquinho Inês Lynce Reflections on "Incremental Cardinality Constraints for MaxSAT". 2019 abs/1910.04643 CoRR http://arxiv.org/abs/1910.04643 db/journals/corr/corr1910.html#abs-1910-04643

Saurabh Joshi 0001 Prateek Kumar 0001 Ruben Martins Sukrut Rao Approximation Strategies for Incomplete MaxSAT. 219-228 2018 CP https://doi.org/10.1007/978-3-319-98334-9_15 conf/cp/2018 db/conf/cp/cp2018.html#0001KMR18 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. 436-452 2018 CP https://doi.org/10.1007/978-3-319-98334-9_29 conf/cp/2018 db/conf/cp/cp2018.html#ZulkoskiMWLCG18 Edward Zulkoski Ruben Martins Christoph M. Wintersteiger Robert Robere Jia Hui Liang Krzysztof Czarnecki Vijay Ganesh Learning-Sensitive Backdoors with Restarts. 453-469 2018 CP https://doi.org/10.1007/978-3-319-98334-9_30 conf/cp/2018 db/conf/cp/cp2018.html#ZulkoskiMWRLCG18 Yu Feng Ruben Martins Osbert Bastani Isil Dillig Program synthesis using conflict-driven learning. 420-435 2018 PLDI https://doi.org/10.1145/3192366.3192382 conf/pldi/2018 db/conf/pldi/pldi2018.html#FengMBD18 Inês Lynce Vasco M. Manquinho Ruben Martins Parallel Maximum Satisfiability. 61-99 2018 Handbook of Parallel Constraint Reasoning https://doi.org/10.1007/978-3-319-63516-3_3 books/sp/HS2018 db/books/collections/HS2018.html#LynceMM18

Saurabh Joshi 0001 Prateek Kumar 0001 Ruben Martins Sukrut Rao Approximation Strategies for Incomplete MaxSAT. 2018 abs/1806.07164 CoRR http://arxiv.org/abs/1806.07164 db/journals/corr/corr1806.html#abs-1806-07164

Peter Schrammel Daniel Kroening Martin Brain Ruben Martins Tino Teige Tom Bienmüller Incremental bounded model checking for embedded software. 911-931 2017 29 Formal Asp. Comput. 5 https://doi.org/10.1007/s00165-017-0419-1 https://www.wikidata.org/entity/Q59528027 db/journals/fac/fac29.html#SchrammelKBMTB17

Yu Feng Osbert Bastani Ruben Martins Isil Dillig Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. 2017 NDSS https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/automated-synthesis-semantic-malware-signatures-using-maximum-satisfiability/ conf/ndss/2017 db/conf/ndss/ndss2017.html#FengBMDA17 Yu Feng Ruben Martins Jacob Van Geffen Isil Dillig Swarat Chaudhuri Component-based synthesis of table consolidation and transformation tasks from examples. 422-436 2017 PLDI https://doi.org/10.1145/3062341.3062351 conf/pldi/2017 db/conf/pldi/pldi2017.html#FengMGDC17 Yu Feng Ruben Martins Yuepeng Wang 0001 Isil Dillig Thomas W. Reps Component-based synthesis for complex APIs. 599-612 2017 POPL http://dl.acm.org/citation.cfm?id=3009851 conf/popl/2017 db/conf/popl/popl2017.html#FengM0DR17

Edward Zulkoski Ruben Martins Christoph M. Wintersteiger Robert Robere Jia Liang Krzysztof Czarnecki Vijay Ganesh Relating Complexity-theoretic Parameters with SAT Solver Performance. 2017 abs/1706.08611 CoRR http://arxiv.org/abs/1706.08611 db/journals/corr/corr1706.html#ZulkoskiMWRLCG17

Yuepeng Wang 0001 Yu Feng Ruben Martins Arati Kaushik Isil Dillig Steven P. Reiss Hunter: next-generation code reuse for Java. 1028-1032 2016 SIGSOFT FSE https://doi.org/10.1145/2950290.2983934 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#0001FMKDR16 Martin Brain Liana Hadarean Daniel Kroening Ruben Martins Automatic Generation of Propagation Complete SAT Encodings. 536-556 2016 VMCAI https://doi.org/10.1007/978-3-662-49122-5_26 conf/vmcai/2016 db/conf/vmcai/vmcai2016.html#BrainHKM16

Yu Feng Osbert Bastani Ruben Martins Isil Dillig Saswat Anand Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. 2016 abs/1608.06254 CoRR http://arxiv.org/abs/1608.06254 db/journals/corr/corr1608.html#FengBMDA16

Yuepeng Wang 0001 Yu Feng Ruben Martins Arati Kaushik Isil Dillig Steven P. Reiss Type-Directed Code Reuse using Integer Linear Programming. 2016 abs/1608.07745 CoRR http://arxiv.org/abs/1608.07745 db/journals/corr/corr1608.html#WangFMKDR16

Yu Feng Ruben Martins Jacob Van Geffen Isil Dillig Swarat Chaudhuri Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. 2016 abs/1611.07502 CoRR http://arxiv.org/abs/1611.07502 db/journals/corr/corr1611.html#FengMGDC16

Ruben Martins Parallel search for maximum satisfiability. 469-470 2015 20 Constraints 4 https://doi.org/10.1007/s10601-015-9207-9 db/journals/constraints/constraints20.html#Martins15

Ruben Martins Vasco M. Manquinho Inês Lynce Deterministic Parallel MaxSAT Solving. 2015 24 International Journal on Artificial Intelligence Tools 3 https://doi.org/10.1142/s0218213015500050 db/journals/ijait/ijait24.html#MartinsML15 1550005:1-1550005:25

Ruben Martins Vasco M. Manquinho Inês Lynce Improving linear search algorithms with model-based approaches for MaxSAT solving. 673-701 2015 27 J. Exp. Theor. Artif. Intell. 5 https://doi.org/10.1080/0952813X.2014.993508 db/journals/jetai/jetai27.html#MartinsML15

Saurabh Joshi 0001 Ruben Martins Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. 200-209 2015 CP https://doi.org/10.1007/978-3-319-23219-5_15 conf/cp/2015 db/conf/cp/cp2015.html#0001MM15 Peter Schrammel Daniel Kroening Martin Brain Ruben Martins Tino Teige Tom Bienmüller Successful Use of Incremental BMC in the Automotive Industry. 62-77 2015 FMICS https://doi.org/10.1007/978-3-319-19458-5_5 conf/fmics/2015 db/conf/fmics/fmics2015.html#SchrammelKBMTB15 Miguel Neves 0001 Ruben Martins Mikolás Janota Inês Lynce Vasco M. Manquinho Exploiting Resolution-Based Representations for MaxSAT Solving. 272-286 2015 SAT https://doi.org/10.1007/978-3-319-24318-4_20 conf/sat/2015 db/conf/sat/sat2015.html#NevesMJLM15 Samuel Bucheli Daniel Kroening Ruben Martins Ashutosh Natraj From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. 69-81 2015 TAROS https://doi.org/10.1007/978-3-319-22416-9_9 conf/taros/2015 db/conf/taros/taros2015.html#BucheliKMN15

Miguel Neves 0001 Ruben Martins Mikolás Janota Inês Lynce Vasco M. Manquinho Exploiting Resolution-based Representations for MaxSAT Solving. 2015 abs/1505.02405 CoRR http://arxiv.org/abs/1505.02405 db/journals/corr/corr1505.html#NevesMJLM15

Saurabh Joshi 0001 Ruben Martins Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. 2015 abs/1507.05920 CoRR http://arxiv.org/abs/1507.05920 db/journals/corr/corr1507.html#0001MM15

Ruben Martins Saurabh Joshi 0001 Vasco M. Manquinho Inês Lynce On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. 59-81 2014 9 JSAT https://satassociation.org/jsat/index.php/jsat/article/view/126 db/journals/jsat/jsat9.html#Martins0ML14

Ruben Martins Saurabh Joshi 0001 Vasco M. Manquinho Inês Lynce Incremental Cardinality Constraints for MaxSAT. 531-548 2014 CP https://doi.org/10.1007/978-3-319-10428-7_39 conf/cp/2014 db/conf/cp/cp2014.html#MartinsJML14 Ruben Martins Vasco M. Manquinho Inês Lynce Open-WBO: A Modular MaxSAT Solver, . 438-445 2014 SAT https://doi.org/10.1007/978-3-319-09284-3_33 conf/sat/2014 db/conf/sat/sat2014.html#MartinsML14

Ruben Martins Saurabh Joshi 0001 Vasco M. Manquinho Inês Lynce Incremental Cardinality Constraints for MaxSAT. 2014 abs/1408.4628 CoRR http://arxiv.org/abs/1408.4628 db/journals/corr/corr1408.html#MartinsJML14

Peter Schrammel Daniel Kroening Martin Brain Ruben Martins Tino Teige Tom Bienmüller Incremental Bounded Model Checking for Embedded Software (extended version). 2014 abs/1409.5872 CoRR http://arxiv.org/abs/1409.5872 db/journals/corr/corr1409.html#SchrammelKBMTB14

Ruben Martins Vasco M. Manquinho Inês Lynce Community-Based Partitioning for MaxSAT Solving. 182-191 2013 SAT https://doi.org/10.1007/978-3-642-39071-5_14 conf/sat/2013 db/conf/sat/sat2013.html#MartinsML13

Ruben Martins Vasco M. Manquinho Inês Lynce Parallel search for maximum satisfiability. 75-95 2012 25 AI Commun. 2 https://doi.org/10.3233/AIC-2012-0517 db/journals/aicom/aicom25.html#MartinsML12

Ruben Martins Vasco M. Manquinho Inês Lynce An overview of parallel SAT solving. 304-347 2012 17 Constraints 3 https://doi.org/10.1007/s10601-012-9121-3 db/journals/constraints/constraints17.html#MartinsML12

Ruben Martins Vasco M. Manquinho Inês Lynce On Partitioning for Maximum Satisfiability. 913-914 2012 ECAI https://doi.org/10.3233/978-1-61499-098-7-913 conf/ecai/2012 db/conf/ecai/ecai2012.html#MartinsML12 Ruben Martins Vasco M. Manquinho Inês Lynce Clause Sharing in Parallel MaxSAT. 455-460 2012 LION https://doi.org/10.1007/978-3-642-34413-8_44 conf/lion/2012 db/conf/lion/lion2012.html#MartinsML12 Ruben Martins Vasco M. Manquinho Inês Lynce Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. 313-320 2011 ICTAI https://doi.org/10.1109/ICTAI.2011.54 http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.54 conf/ictai/2011 db/conf/ictai/ictai2011.html#MartinsML11 Ruben Martins Vasco M. Manquinho Inês Lynce Improving Search Space Splitting for Parallel SAT Solving. 336-343 2010 ICTAI (1) https://doi.org/10.1109/ICTAI.2010.56 http://doi.ieeecomputersociety.org/10.1109/ICTAI.2010.56 conf/ictai/2010-1 db/conf/ictai/ictai2010-1.html#MartinsML10 Vasco M. Manquinho Ruben Martins Inês Lynce Improving Unsatisfiability-Based Algorithms for Boolean Optimization. 181-193 2010 SAT https://doi.org/10.1007/978-3-642-14186-7_16 conf/sat/2010 db/conf/sat/sat2010.html#ManquinhoML10 Saswat Anand Osbert Bastani Tom Bienmüller Martin Brain Samuel Bucheli Swarat Chaudhuri Jia Chen Yanju Chen Krzysztof Czarnecki Isil Dillig Yu Feng Vijay Ganesh Jacob Van Geffen Daniel Gibert Liana Hadarean Mikolás Janota Saurabh Joshi 0001 Arati Kaushik Daniel Kroening Prateek Kumar 0001 Alba Lamas Jia Liang Jia Hui (Jimmy) LiangJia Hui Liang Inês Lynce Vasco M. Manquinho Carles Mateu Ashutosh Natraj Pedro Orvalho Jordi Planes Sukrut Rao Steven P. Reiss Thomas W. Reps Robert Robere Peter Schrammel Tino Teige Miguel Terra-NevesMiguel Neves 0001 Miguel Ventura Yuepeng Wang 0001 Christoph M. Wintersteiger Edward Zulkoski