PPaperPicks

Jun Sun

Singapore Management University, Singapore

48 papers at tracked venues · 31 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0002-3545-1392 ↗Homepage ↗

Venues

AAAI ×4FSE ×4ICSE ×4ISSTA ×4EMNLP ×3ICML ×3NeurIPS ×3OOPSLA ×3WWW ×3ASE ×2FM ×2NDSS ×2ACL ×1CCS ×1EACL ×1ICLR ×1ICRA ×1ICST ×1IJCAI ×1POPL ×1RAID ×1USENIX Security ×1VLDB ×1

Frequent coauthors

Jin Song Dong
×7
Yige Li
×7
Wei Zhao
×6
Peixin Zhang
×5
Jingyi Wang
×5
Christopher M. Poskitt
×5
Zhe Li
×5
Yang Sun
×4
Xiaodong Zhang
×4
Zijiang James Yang
×4
Yedi Zhang
×4
Wenhai Wang
×3

Papers

  1. Be Responsible in Your Answers! Monitoring Out-of-Domain Behaviors in Domain-Specific LLMs
    WWW 2026 ·
    Boquan Li
    ,
    Chenzhe Lou
    ,
    Zhe Ren
    ,
    Peixin Zhang
    ,
    Zirui Fu
    , Jun Sun,
    Yaowen Zheng
  2. LLMQuA: Practical Backdoor Injection on Large Language Model Quantization
    WWW 2026 ·
    Xiangxiang Chen
    ,
    Peixin Zhang
    , Jun Sun,
    Jin Song Dong
    ,
    Wenhai Wang
    ,
    Jingyi Wang
  3. Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements
    ICST 2026 ·
    Yang Sun
    ,
    Haoyu Wang
    ,
    Christopher M. Poskitt
    , Jun Sun
  4. Q-MLLM: Vector Quantization for Robust Multimodal Large Language Model Security
    NDSS 2026 ·
    Wei Zhao
    ,
    Zhe Li
    ,
    Yige Li
    , Jun Sun
  5. Rounding-Guided Backdoor Injection in Deep Learning Model Quantization
    NDSS 2026 ·
    Xiangxiang Chen
    ,
    Peixin Zhang
    , Jun Sun,
    Wenhai Wang
    ,
    Jingyi Wang
  6. SafetyReminder: Reviving Delayed Safety Awareness of Vision-Language Models to Defend Against Jailbreak Attacks
    AAAI 2026 ·
    Peiyuan Tang
    ,
    Haojie Xin
    ,
    Xiaodong Zhang
    , Jun Sun,
    Qin Xia
    ,
    Zijiang James Yang
  7. Selective Concolic Testing
    FM 2026 ·
    Guofeng Zhang
    ,
    Zhenbang Chen
    ,
    Ziqi Shuai
    , Jun Sun,
    Weijiang Hong
    ,
    Yufeng Zhang
    ,
    Ji Wang
    ,
    Yang Liu
  8. Towards Provably Unlearnable Examples via Bayes Error Optimization
    AAAI 2026 ·
    Ruihan Zhang
    , Jun Sun,
    Ee-Peng Lim
    ,
    Peixin Zhang
  9. Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
    ACL 2026 ·
    Yuan Xiao
    ,
    Jiaming Wang
    ,
    Yuchen Chen
    ,
    Wei Song
    , Jun Sun,
    Shiqing Ma
    ,
    Yanzhou Mu
    ,
    Juan Zhai
    ,
    Chunrong Fang
    ,
    Jin Song Dong
    ,
    Zhenyu Chen
  10. Unleashing the Unseen: Harnessing Benign Datasets for Jailbreaking Large Language Models
    EACL 2026 ·
    Wei Zhao
    ,
    Zhe Li
    ,
    Yige Li
    , Jun Sun
  11. Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
    POPL 2025 ·
    Yufan Cai
    ,
    Zhe Hou
    ,
    David Sanán
    ,
    Xiaokun Luan
    ,
    Yun Lin
    , Jun Sun,
    Jin Song Dong
  12. BackdoorLLM: A Comprehensive Benchmark for Backdoor Attacks and Defenses on Large Language Models
    NeurIPS 2025 ·
    Yige Li
    ,
    Hanxun Huang
    ,
    Yunhan Zhao
    ,
    Xingjun Ma
    , Jun Sun
  13. CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization
    ICML 2025 ·
    Nay Myat Min
    ,
    Long H. Pham
    ,
    Yige Li
    , Jun Sun
  14. Causal Contrastive Learning with Data Augmentations for Imitation-Based Planning
    ICRA 2025 ·
    Haojie Xin
    ,
    Xiaodong Zhang
    ,
    Songyang Yan
    , Jun Sun,
    Zijiang Yang
  15. ConTested: Consistency-Aided Tested Code Generation with LLM
    ISSTA 2025 ·
    Jinhao Dong
    , Jun Sun,
    Wenjie Zhang
    ,
    Jin Song Dong
    ,
    Dan Hao
  16. Correct-by-Construction: Certified Individual Fairness through Neural Network Training
    OOPSLA 2025 ·
    Ruihan Zhang
    , Jun Sun
  17. De-duplicating Silent Compiler Bugs via Deep Semantic Representation
    FSE 2025 ·
    Junjie Chen
    ,
    Xingyu Fan
    ,
    Chen Yang
    ,
    Shuang Liu
    , Jun Sun
  18. Democratic Training Against Universal Adversarial Perturbations
    ICLR 2025 ·
    Bing Sun
    , Jun Sun,
    Wei Zhao
  19. Developing a Strong CPS Defender: An Evolutionary Approach
    RAID 2025 ·
    Qingyuan Hu
    ,
    Christopher M. Poskitt
    , Jun Sun,
    Yuqi Chen
  20. Do Influence Functions Work on Large Language Models?
    EMNLP 2025 ·
    Zhe Li
    ,
    Wei Zhao
    ,
    Yige Li
    , Jun Sun
  21. Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
    ISSTA 2025 ·
    Bozhi Wu
    ,
    Chengjie Liu
    ,
    Zhiming Li
    ,
    Yushi Cao
    , Jun Sun,
    Shangwei Lin
  22. Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity
    IJCAI 2025 ·
    Guoliang Dong
    ,
    Haoyu Wang
    , Jun Sun,
    Xinyu Wang
  23. FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
    ICSE 2025 ·
    Yang Sun
    ,
    Christopher M. Poskitt
    ,
    Kun Wang
    , Jun Sun
  24. Fuzzing C++ Compilers via Type-Driven Mutation
    OOPSLA 2025 ·
    Bo Wang
    ,
    Chong Chen
    ,
    Ming Deng
    ,
    Junjie Chen
    ,
    Xing Zhang
    ,
    Youfang Lin
    ,
    Dan Hao
    , Jun Sun
  25. Generalized Security-Preserving Refinement for Concurrent Systems
    CCS 2025 ·
    Huan Sun
    ,
    David Sanán
    ,
    Jingyi Wang
    ,
    Yongwang Zhao
    , Jun Sun,
    Wenhai Wang
  26. LLM-Aided Automatic Modeling for Security Protocol Verification
    ICSE 2025 ·
    Ziyu Mao
    ,
    Jingyi Wang
    , Jun Sun,
    Shengchao Qin
    ,
    Jiawen Xiong
  27. LLMScan: Causal Scan for LLM Misbehavior Detection
    ICML 2025 ·
    Mengdi Zhang
    ,
    Kai Kiat Goh
    ,
    Peixin Zhang
    , Jun Sun,
    Lin Xin Rose
    ,
    Hongyu Zhang
  28. On-Demand Scenario Generation for Testing Automated Driving Systems
    FSE 2025 ·
    Songyang Yan
    ,
    Xiaodong Zhang
    ,
    Kunkun Hao
    ,
    Haojie Xin
    ,
    Yonggang Luo
    ,
    Jucheng Yang
    ,
    Ming Fan
    ,
    Chao Yang
    , Jun Sun,
    Zijiang Yang
  29. Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
    ICML 2025 ·
    Yedi Zhang
    ,
    Yufan Cai
    ,
    Xinyue Zuo
    ,
    Xiaokun Luan
    ,
    Kailong Wang
    ,
    Zhe Hou
    ,
    Yifan Zhang
    ,
    Zhiyuan Wei
    ,
    Meng Sun
    , Jun Sun,
    Jing Sun
    ,
    Jin Song Dong
  30. Quantitative Runtime Monitoring of Ethereum Transaction Attacks
    WWW 2025 ·
    Xinyao Xu
    ,
    Ziyu Mao
    ,
    Jianzhong Su
    ,
    Xingwei Lin
    ,
    David A. Basin
    , Jun Sun,
    Jingyi Wang
  31. REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
    ISSTA 2025 ·
    Jianlei Chi
    ,
    Xiaotian Wang
    ,
    Yuhan Huang
    ,
    Lechen Yu
    ,
    Di Cui
    ,
    Jianguo Sun
    , Jun Sun
  32. RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints
    ASE 2025 ·
    Ruoyu Zhou
    ,
    Zhiwei Zhang
    ,
    Haocheng Han
    ,
    Xiaodong Zhang
    ,
    Zehan Chen
    , Jun Sun,
    Yulong Shen
    ,
    Dehai Xu
  33. Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
    AAAI 2025 ·
    Zongxin Liu
    ,
    Zhe Zhao
    ,
    Fu Song
    , Jun Sun,
    Pengfei Yang
    ,
    Xiaowei Huang
    ,
    Lijun Zhang
  34. Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation
    AAAI 2025 ·
    Peiyuan Tang
    ,
    Xiaodong Zhang
    ,
    Chunze Yang
    ,
    Haoran Yuan
    , Jun Sun,
    Danfeng Shan
    ,
    Zijiang James Yang
  35. Verification of Bit-Flip Attacks against Quantized Neural Networks
    OOPSLA 2025 ·
    Yedi Zhang
    ,
    Lei Huang
    ,
    Pengfei Gao
    ,
    Fu Song
    , Jun Sun,
    Jin Song Dong
  36. Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs
    EMNLP 2025 ·
    Wei Zhao
    ,
    Zhe Li
    ,
    Yige Li
    , Jun Sun
  37. ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
    ICSE 2024 ·
    Huijia Sun
    ,
    Christopher M. Poskitt
    ,
    Yang Sun
    , Jun Sun,
    Yuqi Chen
  38. ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation
    NeurIPS 2024 ·
    Jingnan Zheng
    ,
    Han Wang
    ,
    An Zhang
    ,
    Tai D. Nguyen
    , Jun Sun,
    Tat-Seng Chua
  39. Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models
    NeurIPS 2024 ·
    Yihao Zhang
    ,
    Zeming Wei
    , Jun Sun,
    Meng Sun
  40. Certified Continual Learning for Neural Network Regression
    ISSTA 2024 ·
    Long H. Pham
    , Jun Sun
  41. Certified Quantization Strategy Synthesis for Neural Networks
    FM 2024 ·
    Yedi Zhang
    ,
    Guangke Chen
    ,
    Fu Song
    , Jun Sun,
    Jin Song Dong
  42. Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing
    EMNLP 2024 ·
    Wei Zhao
    ,
    Zhe Li
    ,
    Yige Li
    ,
    Ye Zhang
    , Jun Sun
  43. Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach
    USENIX Security 2024 ·
    Bing Sun
    , Jun Sun,
    Wayne Koh
    ,
    Jie Shi
  44. Partial Solution Based Constraint Solving Cache in Symbolic Execution
    FSE 2024 ·
    Ziqi Shuai
    ,
    Zhenbang Chen
    ,
    Kelin Ma
    ,
    Kunlin Liu
    ,
    Yufeng Zhang
    , Jun Sun,
    Ji Wang
  45. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
    FSE 2024 ·
    Jingling Sun
    ,
    Ting Su
    , Jun Sun,
    Jianwen Li
    ,
    Mengfei Wang
    ,
    Geguang Pu
  46. REDriver: Runtime Enforcement for Autonomous Vehicles
    ICSE 2024 ·
    Yang Sun
    ,
    Christopher M. Poskitt
    ,
    Xiaodong Zhang
    , Jun Sun
  47. Revisiting the Conflict-Resolving Problem from a Semantic Perspective
    ASE 2024 ·
    Jinhao Dong
    , Jun Sun,
    Yun Lin
    ,
    Yedi Zhang
    ,
    Murong Ma
    ,
    Jin Song Dong
    ,
    Dan Hao
  48. Semantic Conformance Testing of Relational DBMS
    VLDB 2024 ·
    Shuang Liu
    ,
    Chenglin Tian
    , Jun Sun,
    Ruifeng Wang
    ,
    Wei Lu
    ,
    Yongxin Zhao
    ,
    Yinxing Xue
    ,
    Junjie Wang
    ,
    Xiaoyong Du