Publications

2026

  1. Anvil: LLM-Powered Synthesis, Validation, and Repair of Alloy Specifications
    Yang Hong, Chenbo Yin, Shan Jiang, Yulei Fu, and Sarfraz Khurshid
    ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2026
  2. OBsmith: LLM-Powered JavaScript Obfuscator Testing
    Shan Jiang, Chenguang Zhu, and Sarfraz Khurshid
    ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2026
    PDF
  3. CASCADE: LLM-powered JavaScript Deobfuscator at Google
    Shan Jiang, Pranoy Kovuri, David Tao, and Zhixun Tan
    IEEE/ACM International Conference on Software Engineering, Software Engineering in Practice Track (ICSE-SEIP), 2026
    PDF

2025

  1. APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
    Hua Zhong, Shan Jiang, and Sarfraz Khurshid
    arXiv preprint arXiv:2509.25196, 2025
    arXiv

2024

  1. Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
    Shan Jiang, Chenguang Zhu, and Sarfraz Khurshid
    arXiv preprint arXiv:2411.01789, 2024
    arXiv

2023

  1. Smartphone-Based Indoor Floor Plan Construction via Acoustic Ranging and Inertial Tracking
    Chuize Meng, Shan Jiang, Mengning Wu, Xuan Xiao, Dan Tao, and Ruipeng Gao
    Machines, 2023
    PDF

2022

  1. PeTrack: Smartphone-based pedestrian tracking in underground parking lot
    Xiaotong Ren, Shuli Zhu, Chuize Meng, Shan Jiang, Xuan Xiao, Dan Tao, and Ruipeng Gao
    International Conference on Mobility, Sensing and Networking (MSN), 2022
    PDF
  2. BatMapper-Plus: Smartphone-Based Multi-level Indoor Floor Plan Construction via Acoustic Ranging and Inertial Sensing
    Chuize Meng, Shan Jiang, Mengning Wu, Xuan Xiao, Dan Tao, and Ruipeng Gao
    International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2022
    PDF