Chuan Luo

97 papers A* 35A 8B 1Journal 39Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shaoke Cui, Chuan Luo, Zhenwei Yang, Jiabao Lin, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu
2026 J jnl
GenSC: a novel and general local search framework for set covering problem.
Frontiers Comput. Sci.
Chuan Luo, Taoyu Chen, Renyu Yang, Wei Wu, Chunming Hu
2026 — conf
SMT(LIA) Sampling with High Diversity.
TACAS (1)
Yong Lai, Junjie Li, Chuan Luo
2025 A* conf
Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis.
AAAI
Furong Ye, Chuan Luo, Shaowei Cai
2025 J jnl
No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups.
Proc. ACM Softw. Eng.
Zhuo Wu, Zan Wang, Chuan Luo, Xiaoning Du, Junjie Chen
2025 J jnl
Optimizing local search-based partial MaxSAT solving via initial assignment prediction.
Sci. China Inf. Sci.
Chanjuan Liu, Guangyuan Liu, Chuan Luo, Shaowei Cai, Zhendong Lei, Wenjie Zhang, Yi Chu, Guojing Zhang
2025 A* conf
SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization.
ASE
Chuan Luo, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu
2025 J jnl
Simple and efficient Hash sketching for tree-structured data.
Expert Syst. Appl.
Wei Wu, Mi Jiang, Chuan Luo, Fangfang Li
2025 A* conf
Sketching Very Large-scale Dynamic Attributed Networks More Practically.
WWW
Wei Wu, Shiqi Li, Ling Chen, Fangfang Li, Chuan Luo
2025 J jnl
Solving the
ACM Trans. Softw. Eng. Methodol.
Chuan Luo, Jianping Song, Qiyuan Zhao, Binqi Sun, Junjie Chen, Hongyu Zhang, Jinkun Lin, Chunming Hu
2025 J jnl
Time- and Space-Efficiently Sketching Billion-Scale Attributed Networks.
IEEE Trans. Knowl. Data Eng.
Wei Wu, Shiqi Li, Mi Jiang, Chuan Luo, Fangfang Li
2025 J jnl
Towards Comprehensive Sampling of SMT Solutions.
CoRR
Shuangyu Lyu, Chuan Luo, Ruizhi Shi, Wei Wu, Chanjuan Liu, Chunming Hu
2025 J jnl
Towards Effective Local Search for Qubit Mapping.
IEEE Trans. Computers
Chuan Luo, Shenghua Cao, Shanyu Guo, Chunming Hu
2025 A* conf
Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems.
ICSE
Chuan Luo, Shuangyu Lyu, Wei Wu, Hongyu Zhang, Dianhui Chu, Chunming Hu
2024 J jnl
An Advanced Reinforcement Learning Framework for Online Scheduling of Deferrable Workloads in Cloud Computing.
CoRR
Hang Dong, Liwen Zhu, Zhao Shan, Bo Qiao, Fangkai Yang, Si Qin, Chuan Luo, Qingwei Lin, Yuwen Yang, Gurpreet Virdi, Saravan Rajmohan, Dongmei Zhang, Thomas Moscibroda
2024 J jnl
Automated Test Suite Generation for Software Product Lines Based on Quality-Diversity Optimization.
ACM Trans. Softw. Eng. Methodol.
Yi Xiang, Han Huang, Sizhe Li, Miqing Li, Chuan Luo, Xiaowei Yang
2024 J jnl
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis.
CoRR
Furong Ye, Chuan Luo, Shaowei Cai
2024 A conf
Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems.
ISSTA
Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, Chunming Hu
2024 J jnl
Contrastive Learning with Negative Sampling Correction.
CoRR
Lu Wang, Chao Du, Pu Zhao, Chuan Luo, Zhangchi Zhu, Bo Qiao, Wei Zhang, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang, Qi Zhang
2024 J jnl
MPSketch: Message Passing Networks via Randomized Hashing for Efficient Attributed Network Embedding.
IEEE Trans. Cybern.
Wei Wu, Bin Li, Chuan Luo, Wolfgang Nejdl, Xuan Tan
2024 J jnl
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem.
IEEE Trans. Cybern.
Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu
2024 A conf
Scene-wise Adaptive Network for Dynamic Cold-start Scenes Optimization in CTR Prediction.
RecSys
Wenhao Li, Jie Zhou, Chuan Luo, Chao Tang, Kun Zhang, Shixiong Zhao
2024 J jnl
Scene-wise Adaptive Network for Dynamic Cold-start Scenes Optimization in CTR Prediction.
CoRR
Wenhao Li, Jie Zhou, Chuan Luo, Chao Tang, Kun Zhang, Shixiong Zhao
2023 — conf
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.
ESEC/SIGSOFT FSE
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu
2023 A* conf
Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction.
ICSE
Zhenhao Li, Chuan Luo, Tse-Hsun Chen, Weiyi Shang, Shilin He, Qingwei Lin, Dongmei Zhang
2023 J jnl
Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction.
CoRR
Zhenhao Li, Chuan Luo, Tse-Hsun Chen, Weiyi Shang, Shilin He, Qingwei Lin, Dongmei Zhang
2023 A* conf
Feature Decomposition for Reducing Negative Transfer: A Novel Multi-Task Learning Method for Recommender System (Student Abstract).
AAAI
Jie Zhou, Qian Yu, Chuan Luo, Jing Zhang
2023 J jnl
Feature Decomposition for Reducing Negative Transfer: A Novel Multi-task Learning Method for Recommender System.
CoRR
Jie Zhou, Qian Yu, Chuan Luo, Jing Zhang
2023 — conf
Generating Pairwise Covering Arrays for Highly Configurable Software Systems.
SPLC (A)
Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu
2023 A* conf
HiNet: Novel Multi-Scenario & Multi-Task Learning with Hierarchical Information Extraction.
ICDE
Jie Zhou, Xianshuai Cao, Wenhao Li, Lin Bo, Kun Zhang, Chuan Luo, Qian Yu
2023 J jnl
HiNet: Novel Multi-Scenario & Multi-Task Learning with Hierarchical Information Extraction.
CoRR
Jie Zhou, Xianshuai Cao, Wenhao Li, Lin Bo, Kun Zhang, Chuan Luo, Qian Yu
2023 J jnl
Improving the performance of stochastic local search for maximum vertex weight clique problem using programming by optimization.
Expert Syst. Appl.
Yi Chu, Chuan Luo, Holger H. Hoos, Haihang You
2023 A* conf
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques.
AAAI
Yi Chu, Shaowei Cai, Chuan Luo
2023 A* conf
SCHash: Speedy Simplicial Complex Neural Networks via Randomized Hashing.
SIGIR
Xuan Tan, Wei Wu, Chuan Luo
2023 A conf
Towards More Efficient Local Search for Pseudo-Boolean Optimization.
CP
Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng
2022 A* conf
Automatic Loss Function Search for Predict-Then-Optimize Problems with Strong Ranking Property.
ICLR
Boshi Wang, Jialin Yi, Hang Dong, Bo Qiao, Chuan Luo, Qingwei Lin
2022 J jnl
Distributed Evolution Strategies for Black-Box Stochastic Optimization.
IEEE Trans. Parallel Distributed Syst.
Xiaoyu He, Zibin Zheng, Chuan Chen, Yuren Zhou, Chuan Luo, Qingwei Lin
2022 J jnl
Distributed Evolution Strategies for Black-box Stochastic Optimization.
CoRR
Xiaoyu He, Zibin Zheng, Chuan Chen, Yuren Zhou, Chuan Luo, Qingwei Lin
2022 A* conf
Multi-task Hierarchical Classification for Disk Failure Prediction in Online Service Systems.
KDD
Yudong Liu, Hailan Yang, Pu Zhao, Minghua Ma, Chengwu Wen, Hongyu Zhang, Chuan Luo, Qingwei Lin, Chang Yi, Jiaojian Wang, Chenjian Zhang, Paul Wang, Yingnong Dang, Saravan Rajmohan, Dongmei Zhang
2022 A* conf
NENYA: Cascade Reinforcement Learning for Cost-Aware Failure Mitigation at Microsoft 365.
KDD
Lu Wang, Pu Zhao, Chao Du, Chuan Luo, Mengna Su, Fangkai Yang, Yudong Liu, Qingwei Lin, Min Wang, Yingnong Dang, Hongyu Zhang, Saravan Rajmohan, Dongmei Zhang
2022 — conf
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems.
ESEC/SIGSOFT FSE
Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
2022 A* conf
Search-based Diverse Sampling from Real-world Software Product Lines.
ICSE
Yi Xiang, Han Huang, Yuren Zhou, Sizhe Li, Chuan Luo, Qingwei Lin, Miqing Li, Xiaowei Yang
2022 J jnl
Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems.
IEEE Trans. Evol. Comput.
Koen van der Blom, Holger H. Hoos, Chuan Luo, Jeroen G. Rook
2022 A* conf
T-SMOTE: Temporal-oriented Synthetic Minority Oversampling Technique for Imbalanced Time Series Classification.
IJCAI
Pu Zhao, Chuan Luo, Bo Qiao, Lu Wang, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang
2021 A* conf
A Runtime Analysis of Typical Decomposition Approaches in MOEA/D Framework for Many-objective Optimization Problems.
IJCAI
Zhengxin Huang, Yuren Zhou, Chuan Luo, Qingwei Lin
2021 J jnl
A Surrogate Objective Framework for Prediction+Optimization with Soft Constraints.
CoRR
Kai Yan, Jie Yan, Chuan Luo, Liting Chen, Qingwei Lin, Dongmei Zhang
2021 A* conf
A Surrogate Objective Framework for Prediction+Programming with Soft Constraints.
NeurIPS
Kai Yan, Jie Yan, Chuan Luo, Liting Chen, Qingwei Lin, Dongmei Zhang
2021 A* conf
AutoCCAG: An Automated Approach to Constrained Covering Array Generation.
ICSE
Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao, Pu Zhao, Qingwei Lin, Hongyu Zhang, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang
2021 — conf
CARE: Infusing Causal Aware Thinking to Root Cause Analysis in Cloud System.
HAOC@EuroSys
Yong Xu, Xu Zhang, Chuan Luo, Si Qin, Rohit Pandey, Chao Du, Qingwei Lin, Yingnong Dang, Andrew Zhou
2021 A* conf
Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems.
AAAI
Chuan Luo, Bo Qiao, Wenqian Xing, Xin Chen, Pu Zhao, Chao Du, Randolph Yao, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin
2021 — conf
Effective low capacity status prediction for cloud systems.
ESEC/SIGSOFT FSE
Hang Dong, Si Qin, Yong Xu, Bo Qiao, Shandan Zhou, Xian Yang, Chuan Luo, Pu Zhao, Qingwei Lin, Hongyu Zhang, Abulikemu Abuduweili, Sanjay Ramanujan, Karthikeyan Subramanian, Andrew Zhou, Saravanakumar Rajmohan, Dongmei Zhang, Thomas Moscibroda
2021 A conf
Efficient Local Search for Pseudo Boolean Optimization.
SAT
Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos
2021 — conf
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation.
ICSE (Companion Volume)
Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin
2021 A* conf
Hashing-Accelerated Graph Neural Networks for Link Prediction.
WWW
Wei Wu, Bin Li, Chuan Luo, Wolfgang Nejdl
2021 J jnl
Hashing-Accelerated Graph Neural Networks for Link Prediction.
CoRR
Wei Wu, Bin Li, Chuan Luo, Wolfgang Nejdl
2021 A conf
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).
CP
Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
2021 — conf
Intelligent container reallocation at Microsoft 365.
ESEC/SIGSOFT FSE
Bo Qiao, Fangkai Yang, Chuan Luo, Yanan Wang, Johnny Li, Qingwei Lin, Hongyu Zhang, Mohit Datta, Andrew Zhou, Thomas Moscibroda, Saravanakumar Rajmohan, Dongmei Zhang
2021 — conf
LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage.
ESEC/SIGSOFT FSE
Chuan Luo, Binqi Sun, Bo Qiao, Junjie Chen, Hongyu Zhang, Jinkun Lin, Qingwei Lin, Dongmei Zhang
2021 A* conf
NTAM: Neighborhood-Temporal Attention Model for Disk Failure Prediction in Cloud Platforms.
WWW
Chuan Luo, Pu Zhao, Bo Qiao, Youjiang Wu, Hongyu Zhang, Wei Wu, Weihai Lu, Yingnong Dang, Saravanakumar Rajmohan, Qingwei Lin, Dongmei Zhang
2021 A* conf
PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector.
AAAI
Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin
2021 A* conf
Predictive Job Scheduling under Uncertain Constraints in Cloud Computing.
IJCAI
Hang Dong, Boshi Wang, Bo Qiao, Wenqian Xing, Chuan Luo, Si Qin, Qingwei Lin, Dongmei Zhang, Gurpreet Virdi, Thomas Moscibroda
2021 A* conf
RLNF: Reinforcement Learning based Noise Filtering for Click-Through Rate Prediction.
SIGIR
Pu Zhao, Chuan Luo, Cheng Zhou, Bo Qiao, Jiale He, Liangjie Zhang, Qingwei Lin
2020 J jnl
An efficient local search algorithm for solving maximum edge weight clique problem in large graphs.
J. Comb. Optim.
Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You
2020 — conf
Efficient customer incident triage via linking with system incidents.
ESEC/SIGSOFT FSE
Jiazhen Gu, Jiaqi Wen, Zijian Wang, Pu Zhao, Chuan Luo, Yu Kang, Yangfan Zhou, Li Yang, Jeffrey Sun, Zhangwei Xu, Bo Qiao, Liqun Li, Qingwei Lin, Dongmei Zhang
2020 — conf
Efficient incident identification from multi-dimensional issue reports via meta-heuristic search.
ESEC/SIGSOFT FSE
Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, Dongmei Zhang
2020 A* conf
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints.
IJCAI
Zhendong Lei, Shaowei Cai, Chuan Luo
2020 J jnl
Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization.
CoRR
Yi Chu, Chuan Luo, Holger H. Hoos, Qingwei Lin, Haihang You
2020 A* conf
Intelligent Virtual Machine Provisioning in Cloud Computing.
IJCAI
Chuan Luo, Bo Qiao, Xin Chen, Pu Zhao, Randolph Yao, Hongyu Zhang, Wei Wu, Andrew Zhou, Qingwei Lin
2020 — conf
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation.
PPSN (1)
Chuan Luo, Holger H. Hoos, Shaowei Cai
2020 A* conf
Two-goal Local Search and Inference Rules for Minimum Dominating Set.
IJCAI
Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin
2019 J jnl
Empirical investigation of stochastic local search for maximum satisfiability.
Frontiers Comput. Sci.
Yi Chu, Chuan Luo, Shaowei Cai, Haihang You
2019 A* conf
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover.
IJCAI
Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang
2019 A* conf
Neural Feature Search: A Neural Architecture for Automated Feature Engineering.
ICDM
Xiangning Chen, Bo Qiao, Weiyi Zhang, Wei Wu, Murali Chintalapati, Dongmei Zhang, Qingwei Lin, Chuan Luo, Xudong Li, Hongyu Zhang, Yong Xu, Yingnong Dang, Kaixin Sui, Xu Zhang
2019 — conf
Towards more efficient meta-heuristic algorithms for combinatorial test generation.
ESEC/SIGSOFT FSE
Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang
2017 A* conf
A Reduction based Method for Coloring Very Large Graphs.
IJCAI
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
2017 J jnl
An efficient local search algorithm for the winner determination problem.
J. Heuristics
Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin
2017 A* conf
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).
IJCAI
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017 J jnl
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.
Artif. Intell.
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017 J jnl
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess.
J. Artif. Intell. Res.
Shaowei Cai, Jinkun Lin, Chuan Luo
2017 A* conf
From Decimation to Local Search and Back: A New Approach to MaxSAT.
IJCAI
Shaowei Cai, Chuan Luo, Haochen Zhang
2017 B conf
Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability.
ICTAI
Yi Chu, Chuan Luo, Wenxuan Huang, Haihang You, Dongrui Fan
2016 J jnl
New local search methods for partial MaxSAT.
Artif. Intell.
Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
2015 A conf
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.
SAT
Shaowei Cai, Chuan Luo, Kaile Su
2015 J jnl
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.
IEEE Trans. Computers
Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su
2015 J jnl
Clause States Based Configuration Checking in Local Search for Satisfiability.
IEEE Trans. Cybern.
Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
2015 J jnl
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
Comput. J.
Shaowei Cai, Chuan Luo, Kaile Su
2015 A* conf
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).
ASE
Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang
2014 A* conf
Double Configuration Checking in Stochastic Local Search for Satisfiability.
AAAI
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2014 J jnl
More efficient two-mode stochastic local search for random 3-satisfiability.
Appl. Intell.
Chuan Luo, Kaile Su, Shaowei Cai
2014 J jnl
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
CoRR
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2014 J jnl
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.
J. Artif. Intell. Res.
Shaowei Cai, Chuan Luo, Kaile Su
2014 A* conf
Tailoring Local Search for Partial MaxSAT.
AAAI
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
2013 — conf
FWLS: A Local Search for Graph Coloring.
FAW-AAIM
Wei Wu, Chuan Luo, Kaile Su
2013 A conf
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.
CP
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2013 A* conf
Improving WalkSAT for Random k-Satisfiability Problem with k > 3.
AAAI
Shaowei Cai, Kaile Su, Chuan Luo
2013 J jnl
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
J. Artif. Intell. Res.
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2012 A conf
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.
ECAI
Chuan Luo, Kaile Su, Shaowei Cai