Publications (55)
Document Visualization using Topic Clouds
Shaohua Li, Tat-Seng Chua
UBfuzz: Finding Bugs in Sanitizer Implementations
Shaohua Li, Zhendong Su
Hardness of Metric Dimension in Graphs of Constant Treewidth
Shaohua Li, Marcin Pilipczuk
Agentic Harness for Real-World Compilers
Yingwei Zheng, Cong Li, Shaohua Li +2
Feature Lenses: Plug-and-play Neural Modules for Transformation-Invariant Visual Representations
Shaohua Li, Xiuchao Sui, Jie Fu +2
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Florent Foucaud, Esther Galby, Liana Khazaliya +4
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Multi-budgeted directed cuts
Stefan Kratsch, Shaohua Li, Dániel Marx +2
QuTuner: Feature- and Learning-Guided Optimization Pass Tuning for Quantum Compilers
Ming Zhong, Xiangyu Ren, Jinglei Cheng +2
An Improved FPT Algorithm for the Flip Distance Problem
Qilong Feng, Shaohua Li, Xiangzhong Meng +1
Archer: Towards Agentic Review for Compiler Optimizations
Yunbo Ni, Shaohua Li
Hitting Meets Packing: How Hard Can it Be?
Jacob Focke, Fabian Frei, Shaohua Li +4
Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
Ziqiao Kong, Wanxu Xia, Chong Wang +6
Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern
Jacob Focke, Florian Hörsch, Shaohua Li +1
Generative Topic Embedding: a Continuous Representation of Documents (Extended Version with Proofs)
Shaohua Li, Tat-Seng Chua, Jun Zhu +1
Illumination Robust Loop Closure Detection with the Constraint of Pose
Deli Yan, Wenkun Tuo, Weiming Wang +1
Diffusion-EXR: Controllable Review Generation for Explainable Recommendation via Diffusion Models
Ling Li, Shaohua Li, June Tay +1
Few-Shot Domain Adaptation with Polymorphic Transformers
Shaohua Li, Xiuchao Sui, Jie Fu +7
Laplacian-Steered Neural Style Transfer
Shaohua Li, Xinxing Xu, Liqiang Nie +1
Localizing Anatomical Landmarks in Ocular Images using Zoom-In Attentive Networks
Xiaofeng Lei, Shaohua Li, Xinxing Xu +9
Q-Score: A Quantum-Native Scoring Function for Molecular Docking
Kangyu Zheng, Yidong Zhou, Ruihao Li +3
REFUGE2 Challenge: A Treasure Trove for Multi-Dimension Analysis and Evaluation in Glaucoma Screening
Huihui Fang, Fei Li, Junde Wu +25
Enabling Cross-chain Transactions: A Decentralized Cryptocurrency Exchange Protocol
Hangyu Tian, Kaiping Xue, Shaohua Li +3
Enhanced Attacks on Defensively Distilled Deep Neural Networks
Yujia Liu, Weiming Zhang, Shaohua Li +1
On the Equivalence of Factorized Information Criterion Regularization and the Chinese Restaurant Process Prior
Shaohua Li
Interleaving Large Language Models for Compiler Testing
Yunbo Ni, Shaohua Li
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
Ziqiao Kong, Wanxu Xia, Zhengwei Li +6
SQD-Enabled Circuit Compression for Resource-Efficient Quantum Chemistry
Kangyu Zheng, Yidong Zhou, Jinglei Cheng +3
The paper introduces two methods—gradient-based operator pruning and Clifford rounding—to compress VQE circuits used with Subspace Quantum Diagonalization, achieving large reductio…
Is Your Benchmark Still Useful? Dynamic Benchmarking for Code Language Models
Batu Guan, Xiao Wu, Yuanyuan Yuan +1
SAND: Decoupling Sanitization from Fuzzing for Low Overhead
Ziqiao Kong, Shaohua Li, Heqing Huang +1
The Complexity of Connectivity Problems in Forbidden-Transition Graphs and Edge-Colored Graphs
Thomas Bellitto, Shaohua Li, Karolina Okrasa +2
Integrating Large Pre-trained Models into Multimodal Named Entity Recognition with Evidential Fusion
Weide Liu, Xiaoyang Zhong, Jingwen Hou +3
Cluster Editing parameterized above modification-disjoint -packings
Shaohua Li, Marcin Pilipczuk, Manuel Sorge
Invariant Cubature Kalman Filter for Monocular Visual Inertial Odometry with Line Features
Deli Yan, Chunhui Wu, Weiming Wang +2
FALCON: A Fourier Transform Based Approach for Fast and Secure Convolutional Neural Network Predictions
Shaohua Li, Kaiping Xue, Chenkai Ding +4
Learning to Reconstruct Crack Profiles for Eddy Current Nondestructive Testing
Shaohua Li, Ayesha Anees, Yu Zhong +4
Metric Dimension and Geodetic Set Parameterized by Vertex Cover
Florent Foucaud, Esther Galby, Liana Khazaliya +4
Facial Pose Estimation by Deep Learning from Label Distributions
Zhaoxiang Liu, Zezhou Chen, Jinqiang Bai +2
Cascade hash tables: a series of multilevel double hashing schemes with O(1) worst case lookup time
Shaohua Li
CRAFT: Cross-Attentional Flow Transformer for Robust Optical Flow
Xiuchao Sui, Shaohua Li, Xue Geng +5
Medical Image Segmentation Using Squeeze-and-Expansion Transformers
Shaohua Li, Xiuchao Sui, Xiangde Luo +3
Structured Semantic Cloaking for Jailbreak Attacks on Large Language Models
Xiaobing Sun, Perry Lam, Shaohua Li +4
Many visits TSP revisited
Åukasz Kowalik, Shaohua Li, Wojciech Nadara +2
Multi-Instance Multi-Scale CNN for Medical Image Classification
Shaohua Li, Yong Liu, Xiuchao Sui +4
Understanding Agent-Based Patching of Compiler Missed Optimizations
Batu Guan, Zirui Wang, Shaohua Li
RoboCoDraw: Robotic Avatar Drawing with GAN-based Style Transfer and Time-efficient Path Optimization
Tianying Wang, Wei Qi Toh, Hao Zhang +4
PSDVec: a Toolbox for Incremental and Scalable Word Embedding
Shaohua Li, Jun Zhu, Chunyan Miao
Confidence-Adaptive SwiGLU for Mixture-of-Experts
Shaohua Li, Xiuchao Sui, Xiaobing Sun +4
An improved FPT algorithm for Independent Feedback Vertex Set
Shaohua Li, Marcin Pilipczuk
SecGrid: A Secure and Efficient SGX-enabled Smart Grid System with Rich Functionalities
Shaohua Li, Kaiping Xue
Feature Aggregation Network for Video Face Recognition
Zhaoxiang Liu, Huan Hu, Jinqiang Bai +2
A Generative Word Embedding Model and its Low Rank Positive Semidefinite Solution
Shaohua Li, Jun Zhu, Chunyan Miao
Global Challenge for Safe and Secure LLMs Track 1
Xiaojun Jia, Yihao Huang, Yang Liu +27
Dirichlet-vMF Mixture Model
Shaohua Li
Factorized Asymptotic Bayesian Inference for Factorial Hidden Markov Models
Shaohua Li, Ryohei Fujimaki, Chunyan Miao