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: Martins:Ruben
Contributed to:
2015201420132010
2016
2019
2017
20172018Wrote 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.