Ling Shi

Orcid: 0000-0002-2023-0247

Affiliations:

Nanyang Technological University, Singapore
National University of Singapore, Singapore (PhD 2014)

According to our database¹, Ling Shi authored at least 44 papers between 2008 and 2026.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Understanding Safety-Sensitive Expert Behavior in Mixture-of-Experts LLMs.

[BibT_eX]

[DOI]

CoRR, May, 2026

R2IF: Aligning Reasoning with Decisions via Composite Rewards for Interpretable LLM Function Calling.

[BibT_eX]

[DOI]

CoRR, April, 2026

NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-Level Semantic Slicing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., January, 2026

Exposing the Ghost in the Transformer: Abnormal Detection for Large Language Models via Hidden State Forensics.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2026

STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People Who Stutter.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving.

[BibT_eX]

[DOI]

CoRR, December, 2025

Boosting Pointer Analysis With Large Language Model-Enhanced Allocation Function Detection.

[BibT_eX]

[DOI]

CoRR, September, 2025

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models.

[BibT_eX]

[DOI]

CoRR, August, 2025

Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models.

[BibT_eX]

[DOI]

CoRR, August, 2025

Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation.

[BibT_eX]

[DOI]

CoRR, July, 2025

Breaking the Loop: Detecting and Mitigating Denial-of-Service Vulnerabilities in Large Language Models.

[BibT_eX]

[DOI]

CoRR, March, 2025

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning.

[BibT_eX]

[DOI]

CoRR, February, 2025

Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 2025 IEEE Security and Privacy, 2025

Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Model-Editing-Based Jailbreak against Safety-aligned Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models.

[BibT_eX]

[DOI]

CoRR, 2024

Investigating Coverage Criteria in Large Language Models: An In-Depth Study Through Jailbreak Attacks.

[BibT_eX]

[DOI]

CoRR, 2024

Semantic-Enhanced Indirect Call Analysis with Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Lockpicking LLMs: A Logit-Based Jailbreak Using Token-level Manipulation.

[BibT_eX]

[DOI]

CoRR, 2024

HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation.

[BibT_eX]

[DOI]

CoRR, 2024

A Cross-Language Investigation into Jailbreak Attacks in Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2024

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Semantic-Enhanced Indirect Call Analysis with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Efficient Detection of Toxic Prompts in Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

PCSP# Denotational Semantics with an Application in Sports Analytics.

[BibT_eX]

[DOI]

Proceedings of the Application of Formal Methods, 2024

2021

Scrutinizing Implementations of Smart Home Integrations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Verification Assisted Gas Reduction for Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2019

Software Complexity Reduction by Automated Refactoring Schema.

[BibT_eX]

[DOI]

Siteng Cao

Yongxin Zhao

Ling Shi

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

HOMESCAN: Scrutinizing Implementations of Smart Home Integrations.

[BibT_eX]

[DOI]

Kulani Tharaka Mahadewa

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2015

Event and Strategy Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Sports Strategy Analytics Using Probabilistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

A UTP Semantics for Communicating Processes with Shared Variables.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

An Analytical and Experimental Comparison of CSP Extensions and Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol.

[BibT_eX]

[DOI]

Ling Shi

Yan Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2008

A Bigraphical Model of WSBPEL.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Ling Shi

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...