Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ruben Martins

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Yu Feng 0001

> Home > Persons > Ruben Martins

Publications

2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/MartinsCCFD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/MartinsCCFD19
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)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChenMF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChenMF19
Yanju Chen, Ruben Martins, Yu Feng:
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE 2019: 602-612
2018
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FengMBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FengMBD18
Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig:
Program synthesis using conflict-driven learning. PLDI 2018: 420-435
2017
[c17]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/FengBMDA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/FengBMDA17
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand:
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS 2017
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FengMGDC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FengMGDC17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FengM0DR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FengM0DR17
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps:
Component-based synthesis for complex APIs. POPL 2017: 599-612
2016
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0001FMKDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0001FMKDR16
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
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FengBMDA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FengBMDA16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WangFMKDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangFMKDR16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FengMGDC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FengMGDC16
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)

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.