PPaperPicks

Jin Song Dong

36 papers at tracked venues · 28 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ASE ×4USENIX Security ×4FSE ×3ICML ×3ISSTA ×3NeurIPS ×3WWW ×3AAAI ×2ACL ×2OOPSLA ×2ACSAC ×1AsiaCCS ×1FM ×1ICLR ×1ICSE ×1POPL ×1S&P ×1

Frequent coauthors

Yun Lin
×18
Jun Sun
×7
Xiwen Teoh
×6
Yedi Zhang
×6
Zhe Hou
×5
Chenyan Liu
×4
Binhang Qi
×4
Zhiyong Huang
×4
Ruofan Liu
×4
Yufan Cai
×4
Ming Xu
×3
Bo Jiang
×3

Papers

  1. ARuleCon: Agentic Security Rule Conversion
    WWW 2026 ·
    Ming Xu
    ,
    Hongtai Wang
    ,
    Yanpei Guo
    ,
    Zhengmin Yu
    ,
    Weili Han
    ,
    Hoon Wei Lim
    , Jin Song Dong,
    Jiaheng Zhang
  2. CuBridge: An LLM-Based Framework for Understanding and Reconstructing High-Performance Attention Kernels
    ACL 2026 ·
    Xing Ma
    ,
    Yangjie Zhou
    ,
    Wu Sun
    ,
    Zihan Liu
    ,
    Jingwen Leng
    ,
    Yun Lin
    ,
    Shixuan Sun
    ,
    Minyi Guo
    , Jin Song Dong
  3. EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
    OOPSLA 2026 ·
    Chenyan Liu
    ,
    Yun Lin
    ,
    Jiaxin Chang
    ,
    Jiawei Liu
    ,
    Binhang Qi
    ,
    Bo Jiang
    ,
    Zhiyong Huang
    , Jin Song Dong
  4. Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
    FSE 2026 ·
    Hongshu Wang
    ,
    Xinyue Zuo
    ,
    Yuhan Sun
    ,
    Qin Li
    ,
    Yamine Aït-Ameur
    , Jin Song Dong
  5. Failures to Surface Harmful Contents in Video Large Language Models
    AAAI 2026 ·
    Yuxin Cao
    ,
    Wei Song
    ,
    Derui Wang
    ,
    Jingling Xue
    , Jin Song Dong
  6. Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation
    AAAI 2026 ·
    Zhaoyu Liu
    ,
    Kan Jiang
    ,
    Murong Ma
    ,
    Zhe Hou
    ,
    Yun Lin
    , Jin Song Dong
  7. Generalizing Test Cases for Comprehensive Test Scenario Coverage
    FSE 2026 ·
    Binhang Qi
    ,
    Yun Lin
    ,
    Xinyi Weng
    ,
    Chenyan Liu
    ,
    Hailong Sun
    ,
    Gordon Fraser
    , Jin Song Dong
  8. Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications
    ACL 2026 ·
    Xiaoyue Lu
    ,
    Xianglin Yang
    ,
    Haijun Liu
    ,
    Jiahao Liu
    ,
    Kuntai Cai
    ,
    Yan Xiao
    , Jin Song Dong
  9. LLMQuA: Practical Backdoor Injection on Large Language Model Quantization
    WWW 2026 ·
    Xiangxiang Chen
    ,
    Peixin Zhang
    ,
    Jun Sun
    , Jin Song Dong,
    Wenhai Wang
    ,
    Jingyi Wang
  10. WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
    FSE 2026 ·
    Xiwen Teoh
    ,
    Yun Lin
    ,
    Duc-Minh Nguyen
    ,
    Ruofei Ren
    ,
    Wenjie Zhang
    , Jin Song Dong
  11. ALMGuard: Safety Shortcuts and Where to Find Them as Guardrails for Audio-Language Models
    NeurIPS 2025 ·
    Weifei Jin
    ,
    Yuxin Cao
    ,
    Junjie Su
    ,
    Minhui Xue
    ,
    Jie Hao
    ,
    Ke Xu
    , Jin Song Dong,
    Derui Wang
  12. Are CAPTCHAs Still Bot-hard? Generalized Visual CAPTCHA Solving with Agentic Vision Language Model
    USENIX Security 2025 ·
    Xiwen Teoh
    ,
    Yun Lin
    ,
    Siqi Li
    ,
    Ruofan Liu
    ,
    Avi Sollomoni
    ,
    Yaniv Harel
    , Jin Song Dong
  13. 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
  14. Clustering Properties of Self-Supervised Learning
    ICML 2025 ·
    Xi Weng
    ,
    Jianing An
    ,
    Xudong Ma
    ,
    Binhang Qi
    ,
    Jie Luo
    ,
    Xi Yang
    , Jin Song Dong,
    Lei Huang
  15. ConTested: Consistency-Aided Tested Code Generation with LLM
    ISSTA 2025 ·
    Jinhao Dong
    ,
    Jun Sun
    ,
    Wenjie Zhang
    , Jin Song Dong,
    Dan Hao
  16. Defending LVLMs Against Vision Attacks Through Partial-Perception Supervision
    ICML 2025 ·
    Qi Zhou
    ,
    Dongxia Wang
    ,
    Tianlin Li
    ,
    Yun Lin
    ,
    Yang Liu
    , Jin Song Dong,
    Qing Guo
  17. F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos
    ICLR 2025 ·
    Zhaoyu Liu
    ,
    Kan Jiang
    ,
    Murong Ma
    ,
    Zhe Hou
    ,
    Yun Lin
    , Jin Song Dong
  18. FracFace: Breaking the Visual Clues - Fractal-Based Privacy-Preserving Face Recognition
    NeurIPS 2025 ·
    Wanying Dai
    ,
    Beibei Li
    ,
    Naipeng Dong
    ,
    Guangdong Bai
    , Jin Song Dong
  19. GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs
    ISSTA 2025 ·
    Ruofan Liu
    ,
    Xiwen Teoh
    ,
    Yun Lin
    ,
    Guanjie Chen
    ,
    Ruofei Ren
    ,
    Denys Poshyvanyk
    , Jin Song Dong
  20. Ignoring Directionality Leads to Compromised Graph Neural Network Explanations
    S&P 2025 ·
    Changsheng Sun
    ,
    Xinke Li
    , Jin Song Dong
  21. Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction
    ASE 2025 ·
    Chenyan Liu
    ,
    Yun Lin
    ,
    Yuhuan Huang
    ,
    Jiaxin Chang
    ,
    Binhang Qi
    ,
    Bo Jiang
    ,
    Zhiyong Huang
    , Jinsong Dong
  22. Mizar: Boosting Secure Three-Party Deep Learning with Co-Designed Sign-Bit Extraction and GPU Acceleration
    ACSAC 2025 ·
    Ye Dong
    ,
    Xudong Chen
    ,
    Xiangfu Song
    ,
    Yaxi Yang
    ,
    Tianwei Zhang
    , Jinsong Dong
  23. On the Account Security Risks Posed by Password Strength Meters
    AsiaCCS 2025 ·
    Ming Xu
    ,
    Weili Han
    ,
    Jitao Yu
    ,
    Jing Liu
    ,
    Xinyi Zhang
    ,
    Yun Lin
    , Jin Song Dong
  24. On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
    ICSE 2025 ·
    Rajdeep Singh Hundal
    ,
    Yan Xiao
    ,
    Xiaochun Cao
    , Jin Song Dong,
    Manuel Rigger
  25. PAT-Agent: Autoformalization for Model Checking
    ASE 2025 ·
    Xinyue Zuo
    ,
    Yifan Zhang
    ,
    Hongshu Wang
    ,
    Yufan Cai
    ,
    Zhe Hou
    ,
    Jing Sun
    , Jin Song Dong
  26. 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
  27. RvLLM: LLM Runtime Verification with Domain Knowledge
    NeurIPS 2025 ·
    Yedi Zhang
    ,
    Sun Yi Emma
    ,
    Annabelle Lee Jia En
    , Jin Song Dong
  28. Verification of Bit-Flip Attacks against Quantized Neural Networks
    OOPSLA 2025 ·
    Yedi Zhang
    ,
    Lei Huang
    ,
    Pengfei Gao
    ,
    Fu Song
    ,
    Jun Sun
    , Jin Song Dong
  29. Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems
    USENIX Security 2025 ·
    Weifei Jin
    ,
    Yuxin Cao
    ,
    Junjie Su
    ,
    Derui Wang
    ,
    Yedi Zhang
    ,
    Minhui Xue
    ,
    Jie Hao
    , Jin Song Dong,
    Yixian Yang
  30. A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction
    WWW 2024 ·
    Yudai Pan
    ,
    Jun Liu
    ,
    Tianzhe Zhao
    ,
    Lingling Zhang
    ,
    Yun Lin
    , Jin Song Dong
  31. Certified Quantization Strategy Synthesis for Neural Networks
    FM 2024 ·
    Yedi Zhang
    ,
    Guangke Chen
    ,
    Fu Song
    ,
    Jun Sun
    , Jin Song Dong
  32. CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
    ISSTA 2024 ·
    Chenyan Liu
    ,
    Yufan Cai
    ,
    Yun Lin
    ,
    Yuhuan Huang
    ,
    Yunrui Pei
    ,
    Bo Jiang
    ,
    Ping Yang
    , Jin Song Dong,
    Hong Mei
  33. Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality
    ASE 2024 ·
    Yifan Liao
    ,
    Ming Xu
    ,
    Yun Lin
    ,
    Xiwen Teoh
    ,
    Xiaofei Xie
    ,
    Ruitao Feng
    ,
    Frank Liaw
    ,
    Hongyu Zhang
    , Jin Song Dong
  34. Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List
    USENIX Security 2024 ·
    Ruofan Liu
    ,
    Yun Lin
    ,
    Xiwen Teoh
    ,
    Gongshen Liu
    ,
    Zhiyong Huang
    , Jin Song Dong
  35. PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models
    USENIX Security 2024 ·
    Xiwen Teoh
    ,
    Yun Lin
    ,
    Ruofan Liu
    ,
    Zhiyong Huang
    , Jin Song Dong
  36. 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