BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Finland
1 × USA
1 × United Kingdom
Collaborated with:
I.Lynce V.M.Manquinho Y.Feng I.Dillig Y.Chen O.Bastani M.Neves M.Janota Jacob Van Geffen S.Chaudhuri Yuepeng Wang 0001 T.W.Reps Y.Wang A.Kaushik S.P.Reiss
Talks about:
base (5) synthesi (4) sat (3) max (3) compon (2) solv (2) unsatisfi (1) transform (1) represent (1) communiti (1)

Person: Ruben Martins

DBLP DBLP: Martins:Ruben

Contributed to:

SAT 20152015
SAT 20142014
SAT 20132013
SAT 20102010
FSE 20162016
ESEC/FSE 20192019
PLDI 20172017
POPL 20172017
PLDI 20182018

Wrote 9 papers:

SAT-2015-NevesMJLM #satisfiability
Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.
SAT-2014-MartinsML #composition #named #satisfiability
Open-WBO: A Modular MaxSAT Solver, (RM, VMM, IL), pp. 438–445.
SAT-2013-MartinsML #clustering #satisfiability
Community-Based Partitioning for MaxSAT Solving (RM, VMM, IL), pp. 182–191.
SAT-2010-ManquinhoML #algorithm #optimisation #satisfiability
Improving Unsatisfiability-Based Algorithms for Boolean Optimization (VMM, RM, IL), pp. 181–193.
FSE-2016-WangFMKDR #java #named #reuse
Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
ESEC-FSE-2019-ChenMF #multi #specification #synthesis
Maximal multi-layer specification synthesis (YC, RM, YF), pp. 602–612.
PLDI-2017-FengMGDC #component #synthesis
Component-based synthesis of table consolidation and transformation tasks from examples (YF, RM, JVG, ID, SC), pp. 422–436.
POPL-2017-FengM0DR #api #component #synthesis
Component-based synthesis for complex APIs (YF, RM, YW0, ID, TWR), pp. 599–612.
PLDI-2018-FengMBD #learning #synthesis #using
Program synthesis using conflict-driven learning (YF, RM, OB, ID), pp. 420–435.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.