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 35 papers between 2008 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

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

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

[BibT_eX]

[DOI]

CoRR, April, 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

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

[BibT_eX]

[DOI]

CoRR, 2024

Continuous Embedding Attacks via Clipped Inputs in Jailbreaking 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

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

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...