Maolin Sun

23 papers A* 4A 1C 2Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generalized Boolean functions over Galois rings.
Cryptogr. Commun.
Minjia Shi, Maolin Sun, Ferruh Özbudak, Patrick Solé
2026 — conf
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators.
ASPLOS (2)
Maolin Sun, Yibiao Yang, Yuming Zhou
2026 J jnl
Reasoning in Trees: Improving Retrieval-Augmented Generation for Multi-Hop Question Answering.
CoRR
Yuling Shi, Maolin Sun, Zijun Liu, Mo Yang, Yixiong Fang, Tianran Sun, Xiaodong Gu
2025 J jnl
Boosting Skeleton-Driven SMT Solver Fuzzing by Leveraging LLM to Produce Formula Generators.
CoRR
Maolin Sun, Yibiao Yang, Yuming Zhou
2025 A* conf
Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs.
ICSE
Hongyan Gao, Yibiao Yang, Maolin Sun, Jiangchang Wu, Yuming Zhou, Baowen Xu
2025 — conf
Debugger Toolchain Validation via Cross-Level Debugging.
ASPLOS (1)
Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingyang Li, Yuming Zhou
2025 J jnl
Evaluating supply chain finance risks in a cross-border e-commerce context: An improved TOPSIS approach with loss penalty.
Inf. Sci.
Jinzhao Shi, Maolin Sun, Xiao Yang, Kewen Jing, Kin Keung Lai
2025 J jnl
Isolating Compiler Faults Through Differentiated Compilation Configurations.
IEEE Trans. Software Eng.
Yibiao Yang, Qingyang Li, Maolin Sun, Jing Yang, Jiangchang Wu, Yuming Zhou
2025 J jnl
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations.
CoRR
Qingyang Li, Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingkai Shi, Yuming Zhou
2025 — conf
Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration.
USENIX ATC
Jiangchang Wu, Yibiao Yang, Maolin Sun, Yuming Zhou
2025 J jnl
Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation.
CoRR
Yibiao Yang, Qingyang Li, Maolin Sun, Jiangchang Wu, Yuming Zhou
2025 J jnl
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation.
Proc. ACM Program. Lang.
Maolin Sun, Yibiao Yang, Jiangchang Wu, Yuming Zhou
2024 J jnl
Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving".
IEEE Trans. Software Eng.
Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou
2024 J jnl
Folded Transmitarray Antenna via Independent Amplitude/Phase Control With Low Side-Lobe for Millimeter-Wave Communication.
IEEE Trans. Circuits Syst. II Express Briefs
Maolin Sun, Kuiwen Xu, Yang Yang, Shichang Chen, Tao Wang, Dingwang Yu, Xianbin Yu, Gaofeng Wang
2023 A* conf
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces.
ICSE
Haoxiang Jia, Ming Wen, Zifan Xie, Xiaochen Guo, Rongxin Wu, Maolin Sun, Kang Chen, Hai Jin
2023 — conf
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support.
ESEC/SIGSOFT FSE
Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen, Yuming Zhou
2023 A* conf
SMT Solver Validation Empowered by Large Pre-Trained Language Models.
ASE
Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen, Haoxiang Jia, Yuming Zhou
2023 J jnl
Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.
IEEE Trans. Software Eng.
Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou
2023 A* conf
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs.
ICSE
Maolin Sun, Yibiao Yang, Ming Wen, Yongcong Wang, Yuming Zhou, Hai Jin
2022 A conf
Isolating Compiler Optimization Faults via Differentiating Finer-grained Options.
SANER
Jing Yang, Yibiao Yang, Maolin Sun, Ming Wen, Yuming Zhou, Hai Jin
2021 J jnl
Nutation Mode Suppression of Magnetically Levitated Turbo-Rotor via Damping Optimization.
IEEE Trans. Ind. Electron.
Maolin Sun, Jinxiang Zhou, Baotian Dong, Shiqiang Zheng, Tong Wen
2019 C conf
Multi-Harmonic Adaptive Notch Filter based on Double Input.
IECON
Jinlei Li, Gang Liu, Shiqiang Zheng, Maolin Sun, Yifan Liu, Haitao Li, Xue Han
2018 C conf
Sensorless Commutation Error Compensation of High Speed Brushless DC Motor Based on RBF Neural Network Method.
IECON
Xi Chen, Haitao Li, Maolin Sun, Gang Liu