About
Dr. Xu studied the use of machine learning techniques for solving notoriously difficult…
Activity
-
What an unforgettable night! I never imagined that geeky engineers like us would have the chance to hold an Emmy Award. I want to express my…
What an unforgettable night! I never imagined that geeky engineers like us would have the chance to hold an Emmy Award. I want to express my…
Liked by Lin Xu
-
BURNABY, CANADA, September 12, 2024 — NETINT Technologies Inc. today announced a partnership with Akamai, the cloud company that powers and protects…
BURNABY, CANADA, September 12, 2024 — NETINT Technologies Inc. today announced a partnership with Akamai, the cloud company that powers and protects…
Liked by Lin Xu
-
NETINT is proud to announce that we have received an Emmy Award nomination for the Design and Deployment of Efficient Hardware Video Accelerators for…
NETINT is proud to announce that we have received an Emmy Award nomination for the Design and Deployment of Efficient Hardware Video Accelerators for…
Liked by Lin Xu
Experience
Education
-
The University of British Columbia
-
Activities and Societies: CSSA, Research, LCI, BETA
PhD student
-
-
Activities and Societies: ConSystLab
Master
-
-
Activities and Societies: Chemistry Lab
Master and Bachelor
Publications
-
Performance modelling and automated algorithm design for NP-hard problems
The University of British Columbia (PhD Thesis)
My thesis focuses on two types of research questions. On the science side, the thesis seeks a in better understanding of relations among problem instances, algorithm performance, and algorithm design. I propose many instance features/characteristics based on instance formulation, instance graph representations, as well as progress statistics from running some solvers. With such informative features, I show that solvers’ runtime can be predicted by predictive performance models with high…
My thesis focuses on two types of research questions. On the science side, the thesis seeks a in better understanding of relations among problem instances, algorithm performance, and algorithm design. I propose many instance features/characteristics based on instance formulation, instance graph representations, as well as progress statistics from running some solvers. With such informative features, I show that solvers’ runtime can be predicted by predictive performance models with high accuracy. Perhaps more surprisingly, I demonstrate that the solution of NP-complete decision problems (e.g., whether a given propositional satisfiability problem instance is satisfiable) can also be predicted with high accuracy. On the engineering side, I propose three new automated techniques for achieving state-of-the-art performance in solving NP-complete problems. In particular, I construct portfolio-based algorithm selectors that outperform any single solver on heterogeneous benchmarks. By adopting automated algorithm configuration, our highly parameterized local search solver, SATenstein-LS, achieves state-of- the-art performance across many different types of SAT benchmarks. Finally, I show that portfolio-based algorithm selection and automated algorithm configuration could be combined into an automated portfolio construction procedure. It requires significant less domain knowledge, and achieved similar or better performance than portfolio-based selectors based on known high-performance candidate solvers.
-
Algorithm Runtime Prediction: Methods and Evaluation
Artificial Intelligence (AIJ)
-
Understanding the Empirical Hardness of NP-Complete Problems
Communications of the Association for Computing Machinery (CACM)
-
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors
Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)
-
Predicting Satisfiability at the Phase Transition
Proceedings of the 26th Conference on Artificial Intelligence (AAAI 2012)
-
Hydra-MIP: Automated Algorithm Configuration and Selection for Mixed Integer Programming
Proceedings of the 18th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2011)
-
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection
Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-10)
-
SATenstein: Automatically Building Local Search SAT Solvers From Components
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09)
-
SATzilla: Portfolio-based Algorithm Selection for SAT
Journal of Artificial Intelligence Research
This paper won the 2010 IJCAI-JAIR Best Paper Prize, and the portfolio-based SAT solvers described in it won 3 gold medals, 1 silver and 1 bronze in the 2007 SAT competition. This article is a significantly expanded version of our earlier CP-07 paper with improved methodology and algorithms. The same methodology underlies a later version of SATzilla, which won 3 gold and 2 silver medals in the 2009 SAT competition.
Other authorsSee publication -
Hierarchical Hardness Models for SAT
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07)
-
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07)
-
Improving Backtrack Search for Solving the TCSP
International Conference on Principles and Practice of Constraint Programming (CP 03)
Projects
-
Hydra
- Present
Honors & Awards
-
SATzilla: SAT Competition/Challenge Winner
The international SAT Competitions
Winner of the 2012 SAT Challenge, the 2009 SAT Competition, the 2007 SAT Competition.
http://baldur.iti.kit.edu/SAT-Challenge-2012/results.html
http://www.satcompetition.org/
-
IBM Ph.D. Fellowship Awards
IBM
The IBM Ph.D. Fellowship Awards Program is an intensely competitive worldwide program, which honors exceptional Ph.D. students who have an interest in solving problems that are important to IBM and fundamental to innovation in many academic disciplines and areas of study.
-
IJCAI-JAIR Best Paper Prize
-
2010 IJCAI/JAIR Best Paper Prize for the 2008 JAIR article SATzilla: Portfolio-based Algorithm Selection for SAT, jointly with Lin Xu, Holger Hoos, and Kevin Leyton-Brown (all JAIR papers published 2005–2009 were eligible)
Languages
-
English
-
-
Chinese
-
More activity by Lin
-
I am incredibly honored to receive the IEEE TIM Society Outstanding Young Engineer Award. I extend my deepest gratitude to all my colleagues at…
I am incredibly honored to receive the IEEE TIM Society Outstanding Young Engineer Award. I extend my deepest gratitude to all my colleagues at…
Liked by Lin Xu
-
Very proud of my MSc students Sathya Kamesh Bhethanabhotla and Omar Swelam for receiving an honourable mention award at the NeurIPS time series…
Very proud of my MSc students Sathya Kamesh Bhethanabhotla and Omar Swelam for receiving an honourable mention award at the NeurIPS time series…
Liked by Lin Xu
-
I’m excited to share that I’ve joined FuriosaAI as the Senior Vice President of Product and Business! After co-founding NETINT Technologies and…
I’m excited to share that I’ve joined FuriosaAI as the Senior Vice President of Product and Business! After co-founding NETINT Technologies and…
Liked by Lin Xu
-
2024 was already named as 'buy only what make sense' year. And this makes sense - so read on: ASIC technology is incrementally less expensive and…
2024 was already named as 'buy only what make sense' year. And this makes sense - so read on: ASIC technology is incrementally less expensive and…
Liked by Lin Xu
-
This is a really great summary of the opportunity I see in Cloud Gaming and what we are experiencing at NETINT. Proud to see NETINT playing a role in…
This is a really great summary of the opportunity I see in Cloud Gaming and what we are experiencing at NETINT. Proud to see NETINT playing a role in…
Liked by Lin Xu
-
Data center operators face a 40% increase in costs due to the looming energy crisis. Global events in 2022 are driving uncertainty in the data…
Data center operators face a 40% increase in costs due to the looming energy crisis. Global events in 2022 are driving uncertainty in the data…
Liked by Lin Xu
-
The Cloud computing industry is facing the European energy crisis Cloud computing has become a ubiquitous part of our daily lives, working in the…
The Cloud computing industry is facing the European energy crisis Cloud computing has become a ubiquitous part of our daily lives, working in the…
Liked by Lin Xu
-
I am thrilled to have won, together with my colleague Kevin Leyton-Brown (The University of British Columbia) and our former students, Frank Hutter…
I am thrilled to have won, together with my colleague Kevin Leyton-Brown (The University of British Columbia) and our former students, Frank Hutter…
Liked by Lin Xu
-
AbCellera is mobilizing to respond to the Wuhan coronavirus outbreak as part of the DARPA P3 program. #AbCellera #antibodytherapeutic #Wuhan…
AbCellera is mobilizing to respond to the Wuhan coronavirus outbreak as part of the DARPA P3 program. #AbCellera #antibodytherapeutic #Wuhan…
Liked by Lin Xu
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore MoreOthers named Lin Xu in Canada
-
Lin Xu
Investment Risk Management at AIMCo
-
Lin Xu
-
Lin Xu
Director of Finance at Hostelling International Canada
-
Lin Xu
Product Control Manager, FRM,CFA level II candidate
26 others named Lin Xu in Canada are on LinkedIn
See others named Lin Xu