Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shaowei Cai
conf.researchr.org general profile
ASE 2025 profile
ESEC/FSE 2020 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
FM 2026 profile
ICSE 2021 profile
ICSE 2024 profile
POPL 2024 profile
Not registered as user
Name:
Shaowei Cai
Country:
China
Affiliation:
Institute of Software at Chinese Academy of Sciences
Contributions
2026
FM
Author of FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines within the Research Track-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2025
ASE
Author of SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization within the Research Papers-track
2024
ICSE
Author of Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory within the Research Track-track
VMCAI
Author of Efficient Local Search for Nonlinear Real Arithmetic within the VMCAI 2024-track
2023
ESEC/FSE
Author of [Remote] CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays within the Research Papers-track
2022
ESEC/FSE
Author of SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems within the Research Papers-track
2021
ICSE
Author of FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation within the DEMO - Demonstrations-track
Author of AutoCCAG: An Automated Approach to Constrained Covering Array Generation within the Technical Track-track
2020
ESEC/FSE
Author of Efficient Incident Identification from Multi-dimensional Issue Reports via Meta-heuristic Search within the Research Papers-track
Share
x
Sat 7 Mar 03:56