Travelled to:
1 × Italy
1 × Korea
1 × USA
Collaborated with:
F.Hutter H.Hoos K.Leyton-Brown F.Zhang Z.Liu B.Yuan D.Mandelin R.Bodík D.Kimelman
Talks about:
structur (2) base (2) portfolio (1) contribut (1) algorithm (1) selector (1) jungloid (1) conserv (1) cluster (1) solver (1)
Person: Lin Xu
DBLP: Xu:Lin
Contributed to:
Wrote 3 papers:
- SAT-2012-XuHHL #algorithm #component
- Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (LX, FH, HH, KLB), pp. 228–241.
- SAC-2007-ZhangXLY #clustering #modelling
- Improved structural modeling based on conserved domain clusters and structure-anchored alignments (FZ, LX, ZL, BY), pp. 128–132.
- PLDI-2005-MandelinXBK #api #mining
- Jungloid mining: helping to navigate the API jungle (DM, LX, RB, DK), pp. 48–61.