Ling Shi

49 papers A* 5A 1B 3C 5Misc 3Journal 29Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-Level Semantic Slicing.
ACM Trans. Softw. Eng. Methodol.
Shide Zhou, Tianlin Li, Yihao Huang, Ling Shi, Kailong Wang, Yang Liu, Haoyu Wang
2026 A* conf
STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People Who Stutter.
AAAI
Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2026 J jnl
STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People who Stutter.
CoRR
Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2025 J jnl
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving.
CoRR
Xinyi Zheng, Ningke Li, Xiaokun Luan, Kailong Wang, Ling Shi, Meng Sun, Haoyu Wang
2025 J jnl
Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection.
CoRR
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Peng Di, Yao Guo, Ding Li, Xiangqun Chen
2025 J jnl
Breaking the Loop: Detecting and Mitigating Denial-of-Service Vulnerabilities in Large Language Models.
CoRR
Junzhe Yu, Yi Liu, Huijia Sun, Ling Shi, Yuqi Chen
2025 J jnl
Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation.
CoRR
Zhibo Zhang, Yuxi Li, Kailong Wang, Shuai Yuan, Ling Shi, Haoyu Wang
2025 — conf
Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models.
SP (Workshops)
Zihao Xu, Yi Liu, Gelei Deng, Kailong Wang, Yuekang Li, Ling Shi, Stjepan Picek
2025 J jnl
Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning.
CoRR
Ningke Li, Yahui Song, Kailong Wang, Yuekang Li, Ling Shi, Yi Liu, Haoyu Wang
2025 J jnl
Enhancing Semantic Understanding in Pointer Analysis using Large Language Models.
CoRR
Baijun Cheng, Kailong Wang, Ling Shi, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
2025 J jnl
Exposing the Ghost in the Transformer: Abnormal Detection for Large Language Models via Hidden State Forensics.
CoRR
Shide Zhou, Kailong Wang, Ling Shi, Haoyu Wang
2025 J jnl
Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models.
CoRR
Fan Yang, Yihao Huang, Jiayi Zhu, Ling Shi, Geguang Pu, Jin Song Dong, Kailong Wang
2025 A* conf
Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks.
ICSE
Shide Zhou, Tianlin Li, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang
2024 J jnl
A Cross-Language Investigation into Jailbreak Attacks in Large Language Models.
CoRR
Jie Li, Yi Liu, Chongyang Liu, Ling Shi, Xiaoning Ren, Yaowen Zheng, Yang Liu, Yinxing Xue
2024 J jnl
Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models.
CoRR
Zihao Xu, Yi Liu, Gelei Deng, Kailong Wang, Yuekang Li, Ling Shi, Stjepan Picek
2024 A conf
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation.
ISSTA
Mingke Yang, Yuqi Chen, Yi Liu, Ling Shi
2024 J jnl
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation.
CoRR
Mingke Yang, Yuqi Chen, Yi Liu, Ling Shi
2024 J jnl
Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models.
Proc. ACM Program. Lang.
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang
2024 A* conf
Efficient Detection of Toxic Prompts in Large Language Models.
ASE
Yi Liu, Junzhe Yu, Huijia Sun, Ling Shi, Gelei Deng, Yuqi Chen, Yang Liu
2024 J jnl
Efficient Detection of Toxic Prompts in Large Language Models.
CoRR
Yi Liu, Junzhe Yu, Huijia Sun, Ling Shi, Gelei Deng, Yuqi Chen, Yang Liu
2024 J jnl
Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models.
CoRR
Fan Yang, Yihao Huang, Kailong Wang, Ling Shi, Geguang Pu, Yang Liu, Haoyu Wang
2024 J jnl
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection.
CoRR
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang
2024 J jnl
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection.
Proc. ACM Softw. Eng.
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, Haoyu Wang
2024 A* conf
GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.
ASE
Zhibo Zhang, Wuxia Bai, Yuxi Li, Mark Huasong Meng, Kailong Wang, Ling Shi, Li Li, Jun Wang, Haoyu Wang
2024 J jnl
GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.
CoRR
Zhibo Zhang, Wuxia Bai, Yuxi Li, Mark Huasong Meng, Kailong Wang, Ling Shi, Li Li, Jun Wang, Haoyu Wang
2024 J jnl
Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation.
CoRR
Yi Liu, Guowei Yang, Gelei Deng, Feiyue Chen, Yuqi Chen, Ling Shi, Tianwei Zhang, Yang Liu
2024 J jnl
HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models.
CoRR
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang
2024 J jnl
Investigating Coverage Criteria in Large Language Models: An In-Depth Study Through Jailbreak Attacks.
CoRR
Shide Zhou, Tianlin Li, Kailong Wang, Yihao Huang, Ling Shi, Yang Liu, Haoyu Wang
2024 J jnl
Lockpicking LLMs: A Logit-Based Jailbreak Using Token-level Manipulation.
CoRR
Yuxi Li, Yi Liu, Yuekang Li, Ling Shi, Gelei Deng, Shengquan Chen, Kailong Wang
2024 J jnl
Model-Editing-Based Jailbreak against Safety-aligned Large Language Models.
CoRR
Yuxi Li, Zhibo Zhang, Kailong Wang, Ling Shi, Haoyu Wang
2024 J jnl
NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing.
CoRR
Shide Zhou, Tianlin Li, Yihao Huang, Ling Shi, Kailong Wang, Yang Liu, Haoyu Wang
2024 — conf
PCSP# Denotational Semantics with an Application in Sports Analytics.
The Application of Formal Methods
Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong
2024 A* conf
Semantic-Enhanced Indirect Call Analysis with Large Language Models.
ASE
Baijun Cheng, Cen Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Ding Li, Xiangqun Chen
2024 J jnl
Semantic-Enhanced Indirect Call Analysis with Large Language Models.
CoRR
Baijun Cheng, Ce Zhang, Kailong Wang, Ling Shi, Yang Liu, Haoyu Wang, Yao Guo, Xiangqun Chen
2021 J jnl
Scrutinizing Implementations of Smart Home Integrations.
IEEE Trans. Software Eng.
Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
2021 C conf
Verification Assisted Gas Reduction for Smart Contracts.
APSEC
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
2021 C conf
sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.
ISoLA
Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
2019 Misc conf
Software Complexity Reduction by Automated Refactoring Schema.
TASE
Siteng Cao, Yongxin Zhao, Ling Shi
2019 C conf
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
APSEC
Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu
2018 J jnl
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput.
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2018 B conf
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.
ICECCS
Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang
2017 B conf
Towards Solving Decision Making Problems Using Probabilistic Model Checking.
ICECCS
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
2015 Misc conf
Event and Strategy Analytics.
TASE
Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi
2015 B conf
Sports Strategy Analytics Using Probabilistic Reasoning.
ICECCS
Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun
2013 C conf
A UTP Semantics for Communicating Processes with Shared Variables.
ICFEM
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2013 J jnl
Modeling and verifying hierarchical real-time systems using stateful timed CSP.
ACM Trans. Softw. Eng. Methodol.
Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
2012 C conf
An Analytical and Experimental Comparison of CSP Extensions and Tools.
ICFEM
Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho
2010 — conf
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol.
SSIRI (Companion)
Ling Shi, Yan Liu
2008 Misc conf
A Bigraphical Model of WSBPEL.
TASE
Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu