ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• affiliation:Singapore Management University, Singapore
• affiliation (former):Singapore University of Technology and Design, Singapore
• affiliation (PhD 2006):National University of Singapore, School of Computing, Singapore

• Jun Sun —disambiguation page
• Jun Sun0002 —DoCoMo Communication Laboratories Inc., San Jose, CA, USA(and 1 more)
• Jun Sun0003 — Stanford University, USA
• Jun Sun0004 —Fujitsu R&D Center, Beijing, China(and 1 more)
• Jun Sun0005 — Shanghai Jiaotong University, Institute of Image Communication and Information Processing, China
• Jun Sun0007 — MIT, Cambridge, MA, USA
• Jun Sun0008 — Jiangnan University, School of Information Technology, Wuxi, China
• Jun Sun0009 — Shanghai Jiao Tong University, Dept. of Electronic Engineering, China
• Jun Sun0010 — Tsinghua University, School of Aerospace, Beijing, China
• Jun Sun0011 —GESIS, Germany(and 1 more)

• Jun Sun0012 — Peking University, Wangxuan Institute of Computer Science, Beijing, China
• Jun Sun0013 —University of Texas Rio Grande Valley, Edinburg, TX, USA(and 1 more)
• Jun Sun0014 — Zhejiang University, State Key Laboratory of Industrial Control Technology, China
• Jun Sun0015 — Shanghai Aerospace Control Technology Institute, Shanghai, China
• Jun Sun0016 — Anhui Province Children's Hospital of China, China
• Jun Sun0017 — Beihang University, Beijing, China
• Jun Sun0018 — Huazhong Agricultural University, College of Informatics, Hubei Key Laboratory of Agricultural Bioinformatics, China
• Jun Sun0019 — Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China
• Jun Sun0020 — Huazhong University of Science and Technology, Wuhan, China
• Jun Sun0021 — Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, China
• Jun Sun0022 — University of Calgary, Department of Mechanical and Manufacturing Engineering, Alberta Research Council, Canada
• Jun Sun0023 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
• Jun Sun0024 —A-STAR, Institute for Infocomm Research, Singapore(and 1 more)
• Jun Sun0025 — Yangzhou University, School of Information Engineering, China

• Sun Jun
• Sun-Ah Jun
• Jun-Di Sun
• Jun-Zhao Sun
• Jun-qing Sun
• Ke-Jun Sun
• Lijun Sun(aka: Li-jun Sun, Li-Jun Sun) —disambiguation page
• Pan Jun Sun(aka: Panjun Sun) — Shanghai Jiao Tong University, China
• Xiao-Jun Sun
• Jun-Yi Sun0001 — Chongqing University, School of Civil Engineering, Key Laboratory of New Technology for Construction of Cities in Mountain Area, China
• show all similar names

• 2026
• 
  [j98]
  Xiaodong Zhang,Jie Bao,Jianlei Chi,Jun Sun,Zijiang Yang:
  Comprehensively evaluating the perception systems of autonomous vehicles against hazards.Inf. Fusion127:103729 (2026)
• 
  [j97]
  Yige Li,Jiabo He,Hanxun Huang,Jun Sun,Xingjun Ma,Yu-Gang Jiang:
  Shortcuts Everywhere and Nowhere: Exploring Multi-Trigger Backdoor Attacks.IEEE Trans. Dependable Secur. Comput.23(1):343-355 (2026)
• 
  [i123]
  Nay Myat Min,Long H. Pham,Hongyu Zhang,Jun Sun:
  CORVUS: Red-Teaming Hallucination Detectors via Internal Signal Camouflage in Large Language Models.CoRRabs/2601.14310 (2026)
• 2025
• 
  [j96]
  Xingjun Ma,Yifeng Gao,Yixu Wang,Ruofan Wang,Xin Wang,Ye Sun,Yifan Ding,Hengyuan Xu,Yunhao Chen,Yunhao Zhao,Hanxun Huang,Yige Li,Yutao Wu,Jiaming Zhang,Xiang Zheng,Yang Bai,Yiming Li,Zuxuan Wu,Xipeng Qiu,Jingfeng Zhang,Xudong Han,Haonan Li,Jun Sun,Cong Wang,Jindong Gu,Baoyuan Wu,Siheng Chen,Tianwei Zhang,Yang Liu,Mingming Gong,Tongliang Liu,Shirui Pan,Cihang Xie,Tianyu Pang,Yinpeng Dong,Ruoxi Jia,Yang Zhang,Shiqing Ma,Xiangyu Zhang,Neil Gong,Chaowei Xiao,Sarah M. Erfani,Tim Baldwin,Bo Li,Masashi Sugiyama,Dacheng Tao,James Bailey,Yu-Gang Jiang:
  Safety at Scale: A Comprehensive Survey of Large Model and Agent Safety.Found. Trends Priv. Secur.8(3-4):254-469 (2025)
• 
  [j95]
  Xiaodong Zhang,Haoyu Guo,Zhiwei Zhang,Guiyuan Tang,Jun Sun,Yulong Shen,Jianfeng Ma:
  Effectively Detecting Software Vulnerabilities via Leveraging Features on Program Slices.IEEE Internet Things J.12(7):8033-8048 (2025)
• 
  [j94]
  Yedi Zhang,Lei Huang,Pengfei Gao,Fu Song,Jun Sun,Jin Song Dong:
  Verification of Bit-Flip Attacks against Quantized Neural Networks.Proc. ACM Program. Lang.9(OOPSLA1):984-1014 (2025)
• 
  [j93]
  Bo Wang,Chong Chen,Ming Deng,Junjie Chen,Xing Zhang,Youfang Lin,Dan Hao,Jun Sun:
  Fuzzing C++ Compilers via Type-Driven Mutation.Proc. ACM Program. Lang.9(OOPSLA2):1232-1260 (2025)
• 
  [j92]
  Ruihan Zhang,Jun Sun:
  Correct-by-Construction: Certified Individual Fairness through Neural Network Training.Proc. ACM Program. Lang.9(OOPSLA2):1599-1619 (2025)
• 
  [j91]
  Yufan Cai,Zhe Hou,David Sanán,Xiaokun Luan,Yun Lin,Jun Sun,Jin Song Dong:
  Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus.Proc. ACM Program. Lang.9(POPL):2057-2089 (2025)
• 
  [j90]
  Songyang Yan,Xiaodong Zhang,Kunkun Hao,Haojie Xin,Yonggang Luo,Jucheng Yang,Ming Fan,Chao Yang,Jun Sun,Zijiang Yang:
  On-Demand Scenario Generation for Testing Automated Driving Systems.Proc. ACM Softw. Eng.2(FSE):86-105 (2025)
• 
  [j89]
  Junjie Chen,Xingyu Fan,Chen Yang,Shuang Liu,Jun Sun:
  De-duplicating Silent Compiler Bugs via Deep Semantic Representation.Proc. ACM Softw. Eng.2(FSE):2359-2381 (2025)
• 
  [j88]
  Jinhao Dong,Jun Sun,Wenjie Zhang,Jin Song Dong,Dan Hao:
  ConTested: Consistency-Aided Tested Code Generation with LLM.Proc. ACM Softw. Eng.2(ISSTA):596-617 (2025)
• 
  [j87]
  Bozhi Wu,Chengjie Liu,Zhiming Li,Yushi Cao,Jun Sun,Shangwei Lin:
  Enhancing Vulnerability Detection via Inter-procedural Semantic Completion.Proc. ACM Softw. Eng.2(ISSTA):825-847 (2025)
• 
  [j86]
  Jianlei Chi,Xiaotian Wang,Yuhan Huang,Lechen Yu,Di Cui,Jianguo Sun,Jun Sun:
  REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models.Proc. ACM Softw. Eng.2(ISSTA):1234-1256 (2025)
• 
  [j85]
  Zhang Feng,Yongwang Zhao,Liu Yang,Jun Sun:
  A Comprehensive Formal Specification of ARINC 653 With Conformity Proof.Softw. Test. Verification Reliab.35(1) (2025)
• 
  [j84]
  Nay Myat Min,Long H. Pham,Jun Sun:
  Unified Neural Backdoor Removal With Only Few Clean Samples Through Unlearning and Relearning.IEEE Trans. Inf. Forensics Secur.20:6984-6998 (2025)
• 
  [j83]
  Xiangxiang Chen,Xingwei Lin,Jingyi Wang,Jun Sun,Jiashui Wang,Wenhai Wang:
  Scuzer: A Scheduling Optimization Fuzzer for TVM.ACM Trans. Softw. Eng. Methodol.34(4):102:1-102:28 (2025)
• 
  [j82]
  Hanmo You,Zan Wang,Xuyang Chen,Junjie Chen,Jun Sun,Shuang Liu,Zishuo Dong:
  Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems.ACM Trans. Softw. Eng. Methodol.34(6):171:1-171:33 (2025)
• 
  [j81]
  Ruihan Zhang,Jun Sun:
  RobFace: A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems.IEEE Trans. Reliab.74(3):3615-3628 (2025)
• 
  [j80]
  Bo Wang,Chong Chen,Junjie Chen,Bowen Xu,Chen Ye,Youfang Lin,Guoliang Dong,Jun Sun:
  A Comprehensive Study of OOP-Related Bugs in C++ Compilers.IEEE Trans. Software Eng.51(6):1762-1782 (2025)
• 
  [j79]
  Shunkai Zhu,Jun Sun,Jingyi Wang,Xingwei Lin,Peng Cheng:
  OptSE: Toward Optimal Symbolic Execution.IEEE Trans. Software Eng.51(7):1934-1949 (2025)
• 
  [j78]
  Xiaolin Wen,Tai D. Nguyen,Lun Zhang,Jun Sun,Yong Wang:
  PrettiSmart: Visual Interpretation of Smart Contracts via Simulation.IEEE Trans. Vis. Comput. Graph.31(6):3822-3835 (2025)
• 
  [j77]
  Xiaolin Wen,Tai D. Nguyen,Shaolun Ruan,Qiaomu Shen,Jun Sun,Feida Zhu,Yong Wang:
  PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification.IEEE Trans. Vis. Comput. Graph.31(9):6451-6465 (2025)
• 
  [c265]
  Zongxin Liu,Zhe Zhao,Fu Song,Jun Sun,Pengfei Yang,Xiaowei Huang,Lijun Zhang:
  Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.AAAI2025:5757-5765
• 
  [c264]
  PeiYuan Tang,Xiaodong Zhang,Chunze Yang,Haoran Yuan,Jun Sun,Danfeng Shan,Zijiang James Yang:
  Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation.AAAI2025:20823-20831
• 
  [c263]
  Huan Sun,David Sanán,Jingyi Wang,Yongwang Zhao,Jun Sun,Wenhai Wang:
  Generalized Security-Preserving Refinement for Concurrent Systems.CCS2025:2789-2803
• 
  [c262]
  Jie Wang,Zhongguang Zheng,Chaoliang Zhong,Jun Sun:
  Channel-Independent Refiner for Multivariate Time Series Forecasting.CIKM2025:5304-5308
• 
  [c261]
  Wei Zhao,Zhe Li,Yige Li,Jun Sun:
  Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs.EMNLP (Findings)2025:14232-14246
• 
  [c260]
  Zhe Li,Wei Zhao,Yige Li,Jun Sun:
  Do Influence Functions Work on Large Language Models?EMNLP (Findings)2025:14367-14382
• 
  [c259]
  Huan Sun,David Sanán,Jun Sun,Wenhai Wang:
  Modeling and Verifying Concurrent Reactive Systems Using Separation Logic.ICFEM2025:247-265
• 
  [c258]
  Bing Sun,Jun Sun,Wei Zhao:
  Democratic Training Against Universal Adversarial Perturbations.ICLR2025
• 
  [c257]
  Mengdi Zhang,Kai Kiat Goh,Peixin Zhang,Jun Sun,Lin Xin Rose,Hongyu Zhang:
  LLMScan: Causal Scan for LLM Misbehavior Detection.ICML2025
• 
  [c256]
  Nay Myat Min,Long H. Pham,Yige Li,Jun Sun:
  CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization.ICML2025
• 
  [c255]
  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:
  Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.ICML (Position Papers)2025
• 
  [c254]
  Haojie Xin,Xiaodong Zhang,Songyang Yan,Jun Sun,Zijiang Yang:
  Causal Contrastive Learning with Data Augmentations for Imitation-Based Planning.ICRA2025:1271-1278
• 
  [c253]
  Ziyu Mao,Jingyi Wang,Jun Sun,Shengchao Qin,Jiawen Xiong:
  LLM-Aided Automatic Modeling for Security Protocol Verification.ICSE2025:642-654
• 
  [c252]
  Yang Sun,Christopher M. Poskitt,Kun Wang,Jun Sun:
  FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation.ICSE2025:1921-1933
• 
  [c251]
  Guoliang Dong,Haoyu Wang,Jun Sun,Xinyu Wang:
  Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity.IJCAI2025:348-356
• 
  [c250]
  Ruoyu Zhou,Zhiwei Zhang,Haocheng Han,Xiaodong Zhang,Zehan Chen,Jun Sun,Yulong Shen,Dehai Xu:
  RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints.ASE2025:495-507
• 
  [c249]
  Étienne André,Jean-Luc Béchennec,Sudipta Chattopadhyay,Sébastien Faucou,Didier Lime,Dylan Marinho,Olivier H. Roux,Jun Sun:
  Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.SAC2025:1998-2006
• 
  [c248]
  Xinyao Xu,Ziyu Mao,Jianzhong Su,Xingwei Lin,David A. Basin,Jun Sun,Jingyi Wang:
  Quantitative Runtime Monitoring of Ethereum Transaction Attacks.WWW2025:4146-4159
• 
  [i122]
  Xingjun Ma,Yifeng Gao,Yixu Wang,Ruofan Wang,Xin Wang,Ye Sun,Yifan Ding,Hengyuan Xu,Yunhao Chen,Yunhan Zhao,Hanxun Huang,Yige Li,Jiaming Zhang,Xiang Zheng,Yang Bai,Zuxuan Wu,Xipeng Qiu,Jingfeng Zhang,Yiming Li,Jun Sun,Cong Wang,Jindong Gu,Baoyuan Wu,Siheng Chen,Tianwei Zhang,Yang Liu,Mingming Gong,Tongliang Liu,Shirui Pan,Cihang Xie,Tianyu Pang,Yinpeng Dong,Ruoxi Jia,Yang Zhang,Shiqing Ma,Xiangyu Zhang,Neil Gong,Chaowei Xiao,Sarah M. Erfani,Bo Li,Masashi Sugiyama,Dacheng Tao,James Bailey,Yu-Gang Jiang:
  Safety at Scale: A Comprehensive Survey of Large Model Safety.CoRRabs/2502.05206 (2025)
• 
  [i121]
  Bing Sun,Jun Sun,Wei Zhao:
  Democratic Training Against Universal Adversarial Perturbations.CoRRabs/2502.05542 (2025)
• 
  [i120]
  Yang Sun,Christopher M. Poskitt,Kun Wang,Jun Sun:
  FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation.CoRRabs/2502.08260 (2025)
• 
  [i119]
  Yedi Zhang,Lei Huang,Pengfei Gao,Fu Song,Jun Sun,Jin Song Dong:
  Verification of Bit-Flip Attacks against Quantized Neural Networks.CoRRabs/2502.16286 (2025)
• 
  [i118]
  Lida Zhao,Shihan Dou,Yutao Hu,Yueming Wu,Jiahui Wu,Chengwei Liu,Lyuye Zhang,Yi Liu,Jun Sun,Xuanjing Huang,Yang Liu:
  Detecting Essence Code Clones via Information Theoretic Analysis.CoRRabs/2502.19219 (2025)
• 
  [i117]
  Wei Zhao,Zhe Li,Yige Li,Jun Sun:
  Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs.CoRRabs/2503.00037 (2025)
• 
  [i116]
  Haoyu Wang,Christopher M. Poskitt,Jun Sun:
  AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents.CoRRabs/2503.18666 (2025)
• 
  [i115]
  Nay Myat Min,Long H. Pham,Yige Li,Jun Sun:
  Propaganda via AI? A Study on Semantic Backdoors in Large Language Models.CoRRabs/2504.12344 (2025)
• 
  [i114]
  Xiaoxia Liu,Peng Di,Cong Li,Jun Sun,Jingyi Wang:
  Efficient Function Orchestration for Large Language Models.CoRRabs/2504.14872 (2025)
• 
  [i113]
  Kun Wang,Guibin Zhang,Zhenhong Zhou,Jiahao Wu,Miao Yu,Shiqian Zhao,Chenlong Yin,Jinhu Fu,Yibo Yan,Hanjun Luo,Liang Lin,Zhihao Xu,Haolang Lu,Xinye Cao,Xinyun Zhou,Weifei Jin,Fanci Meng,Junyuan Mao,Hao Wu,Minghe Wang,Fan Zhang,Junfeng Fang,Chengwei Liu,Yifan Zhang,Qiankun Li,Chongye Guo,Yalan Qin,Yi Ding,Donghai Hong,Jiaming Ji,Xinfeng Li,Yifan Jiang,Dongxia Wang,Yihao Huang,Yufei Guo,Jen-tse Huang,Yanwei Yue,Wenke Huang,Guancheng Wan,Tianlin Li,Lei Bai,Jie Zhang,Qing Guo,Jingyi Wang,Tianlong Chen,Joey Tianyi Zhou,Xiaojun Jia,Weisong Sun,Cong Wu,Jing Chen,Xuming Hu,Yiming Li,Xiao Wang,Ningyu Zhang,Luu Anh Tuan,Guowen Xu,Tianwei Zhang,Xingjun Ma,Xiang Wang,Bo An,Jun Sun,Mohit Bansal,Shirui Pan,Yuval Elovici,Bhavya Kailkhura,Bo Li,Yaodong Yang,Hongwei Li,Wenyuan Xu,Yizhou Sun,Wei Wang,Qing Li,Ke Tang,Yu-Gang Jiang,Felix Juefei-Xu,Hui Xiong,Xiaofeng Wang,Shuicheng Yan,Dacheng Tao,Philip S. Yu,Qingsong Wen,Yang Liu:
  A Comprehensive Survey in LLM(-Agent) Full Stack Safety: Data, Training and Deployment.CoRRabs/2504.15585 (2025)
• 
  [i112]
  Ruihan Zhang,Jun Sun:
  A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems.CoRRabs/2504.21420 (2025)
• 
  [i111]
  Yuekang Li,Wei Song,Bangshuo Zhu,Dong Gong,Yi Liu,Gelei Deng,Chunyang Chen,Lei Ma,Jun Sun,Toby Walsh,Jingling Xue:
  ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet.CoRRabs/2505.07834 (2025)
• 
  [i110]
  Tai D. Nguyen,Long H. Pham,Jun Sun:
  AUTOLAW: Enhancing Legal Compliance in Large Language Models via Case Law Generation and Jury-Inspired Deliberation.CoRRabs/2505.14015 (2025)
• 
  [i109]
  Songyang Yan,Xiaodong Zhang,Kunkun Hao,Haojie Xin,Yonggang Luo,Jucheng Yang,Ming Fan,Chao Yang,Jun Sun,Zijiang Yang:
  On-Demand Scenario Generation for Testing Automated Driving Systems.CoRRabs/2505.14053 (2025)
• 
  [i108]
  PeiYuan Tang,Haojie Xin,Xiaodong Zhang,Jun Sun,Qin Xia,Zijiang Yang:
  The Safety Reminder: A Soft Prompt to Reactivate Delayed Safety Awareness in Vision-Language Models.CoRRabs/2506.15734 (2025)
• 
  [i107]
  Haoyu Wang,Christopher M. Poskitt,Jun Sun,Jiali Wei:
  Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking.CoRRabs/2508.00500 (2025)
• 
  [i106]
  Yige Li,Peihai Jiang,Jun Sun,Peng Shu,Tianming Liu,Zhen Xiang:
  Adaptive Content Restriction for Large Language Models via Suffix Optimization.CoRRabs/2508.01198 (2025)
• 
  [i105]
  Lida Zhao,Chaofan Li,Yueming Wu,Lyuye Zhang,Jiahui Wu,Chengwei Liu,Sen Chen,Yutao Hu,Zhengzi Xu,Yi Liu,Jingquan Ge,Jun Sun,Yang Liu:
  JC-Finder: Detecting Java Clone-based Third-Party Library by Class-level Tree Analysis.CoRRabs/2508.02397 (2025)
• 
  [i104]
  Ruihan Zhang,Jun Sun:
  Correct-By-Construction: Certified Individual Fairness through Neural Network Training.CoRRabs/2508.15642 (2025)
• 
  [i103]
  Zhe Li,Wei Zhao,Yige Li,Jun Sun:
  Where Did It Go Wrong? Attributing Undesirable LLM Behaviors via Representation Gradient Tracing.CoRRabs/2510.02334 (2025)
• 
  [i102]
  Xiangxiang Chen,Peixin Zhang,Jun Sun,Wenhai Wang,Jingyi Wang:
  Rounding-Guided Backdoor Injection in Deep Learning Model Quantization.CoRRabs/2510.09647 (2025)
• 
  [i101]
  Huan Sun,David Sanán,Jingyi Wang,Yongwang Zhao,Jun Sun,Wenhai Wang:
  Generalized Security-Preserving Refinement for Concurrent Systems.CoRRabs/2511.06862 (2025)
• 
  [i100]
  Ruihan Zhang,Jun Sun,Ee-Peng Lim,Peixin Zhang:
  Towards Provably Unlearnable Examples via Bayes Error Optimisation.CoRRabs/2511.08191 (2025)
• 
  [i99]
  Wei Zhao,Zhe Li,Yige Li,Jun Sun:
  Q-MLLM: Vector Quantization for Robust Multimodal Large Language Model Security.CoRRabs/2511.16229 (2025)
• 
  [i98]
  Yige Li,Zhe Li,Wei Zhao,Nay Myat Min,Hanxun Huang,Xingjun Ma,Jun Sun:
  AutoBackdoor: Automating Backdoor Attacks via LLM Agents.CoRRabs/2511.16709 (2025)
• 
  [i97]
  Qingyuan Hu,Christopher M. Poskitt,Jun Sun,Yuqi Chen:
  Developing a Strong CPS Defender: An Evolutionary Approach.CoRRabs/2512.08320 (2025)
• 2024
• 
  [j76]
  Ziqi Shuai,Zhenbang Chen,Kelin Ma,Kunlin Liu,Yufeng Zhang,Jun Sun,Ji Wang:
  Partial Solution Based Constraint Solving Cache in Symbolic Execution.Proc. ACM Softw. Eng.1(FSE):2493-2514 (2024)
• 
  [j75]
  Shuang Liu,Chenglin Tian,Jun Sun,Ruifeng Wang,Wei Lu,Yongxin Zhao,Yinxing Xue,Junjie Wang,Xiaoyong Du:
  Semantic Conformance Testing of Relational DBMS.Proc. VLDB Endow.18(3):850-862 (2024)
• 
  [j74]
  Haoyu Wang,Zan Wang,Shuang Liu,Jun Sun,Yingquan Zhao,Yan Wan,Tai D. Nguyen:
  sFuzz2.0: Storage-access pattern guided smart contract fuzzing.J. Softw. Evol. Process.36(4) (2024)
• 
  [j73]
  Yinxing Xue,Jiaming Ye,Wei Zhang,Jun Sun,Lei Ma,Haijun Wang,Jianjun Zhao:
  xFuzz: Machine Learning Guided Cross-Contract Fuzzing.IEEE Trans. Dependable Secur. Comput.21(2):515-529 (2024)
• 
  [j72]
  Dongxia Wang,Tim Muller,Jun Sun:
  Provably Secure Decisions Based on Potentially Malicious Information.IEEE Trans. Dependable Secur. Comput.21(5):4388-4403 (2024)
• 
  [j71]
  Yuhan Zhi,Xiaofei Xie,Chao Shen,Jun Sun,Xiaoyu Zhang,Xiaohong Guan:
  Seed Selection for Testing Deep Neural Networks.ACM Trans. Softw. Eng. Methodol.33(1):23:1-23:33 (2024)
• 
  [j70]
  Zhe Zhao,Guangke Chen,Tong Liu,Taishan Li,Fu Song,Jingyi Wang,Jun Sun:
  Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples.ACM Trans. Softw. Eng. Methodol.33(3):68:1-68:45 (2024)
• 
  [j69]
  Cuifeng Gao,Wenzhang Yang,Jiaming Ye,Yinxing Xue,Jun Sun:
  sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts.ACM Trans. Softw. Eng. Methodol.33(5):114:1-114:55 (2024)
• 
  [j68]
  Shunkai Zhu,Jingyi Wang,Jun Sun,Jie Yang,Xingwei Lin,Tian Wang,Liyi Zhang,Peng Cheng:
  Better Pay Attention Whilst Fuzzing.IEEE Trans. Software Eng.50(2):190-208 (2024)
• 
  [j67]
  Sebastián Uchitel,Marsha Chechik,Massimiliano Di Penta,Bram Adams,Nazareno Aguirre,Gabriele Bavota,Domenico Bianculli,Kelly Blincoe,Ana Cavalcanti,Yvonne Dittrich,Filomena Ferrucci,Rashina Hoda,LiGuo Huang,David Lo,Michael R. Lyu,Lei Ma,Jonathan I. Maletic,Leonardo Mariani,Collin McMillan,Tim Menzies,Martin Monperrus,Ana Moreno,Nachiappan Nagappan,Liliana Pasquale,Patrizio Pelliccione,Michael Pradel,Rahul Purandare,Sukyoung Ryu,Mehrdad Sabetzadeh,Alexander Serebrenik,Jun Sun,Chakkrit Kla Tantithamthavorn,Christoph Treude,Manuel Wimmer,Yingfei Xiong,Tao Yue,Andy Zaidman,Tao Zhang,Hao Zhong:
  Scoping Software Engineering for AI: The TSE Perspective.IEEE Trans. Software Eng.50(11):2709-2711 (2024)
• 
  [c247]
  Ruihan Zhang,Jun Sun:
  Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors.CAV (2)2024:352-376
• 
  [c246]
  Wei Zhao,Zhe Li,Yige Li,Ye Zhang,Jun Sun:
  Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing.EMNLP (Findings)2024:5094-5109
• 
  [c245]
  Yedi Zhang,Guangke Chen,Fu Song,Jun Sun,Jin Song Dong:
  Certified Quantization Strategy Synthesis for Neural Networks.FM (1)2024:343-362
• 
  [c244]
  Simiao Zhang,Jitao Bai,Menghong Guan,Yueling Zhang,Jun Sun,Yihao Huang,Jiaping Wang,Chengcheng Wan,Ting Su,Geguang Pu:
  CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning.ICANN (1)2024:463-477
• 
  [c243]
  Huijia Sun,Christopher M. Poskitt,Yang Sun,Jun Sun,Yuqi Chen:
  ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings.ICSE2024:102:1-102:13
• 
  [c242]
  Yang Sun,Christopher M. Poskitt,Xiaodong Zhang,Jun Sun:
  REDriver: Runtime Enforcement for Autonomous Vehicles.ICSE2024:176:1-176:12
• 
  [c241]
  Long H. Pham,Jun Sun:
  Certified Continual Learning for Neural Network Regression.ISSTA2024:806-818
• 
  [c240]
  Jinhao Dong,Jun Sun,Yun Lin,Yedi Zhang,Murong Ma,Jin Song Dong,Dan Hao:
  Revisiting the Conflict-Resolving Problem from a Semantic Perspective.ASE2024:141-152
• 
  [c239]
  Yihao Zhang,Zeming Wei,Jun Sun,Meng Sun:
  Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models.NeurIPS2024
• 
  [c238]
  Jingnan Zheng,Han Wang,An Zhang,Tai D. Nguyen,Jun Sun,Tat-Seng Chua:
  ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation.NeurIPS2024
• 
  [c237]
  Jingling Sun,Ting Su,Jun Sun,Jianwen Li,Mengfei Wang,Geguang Pu:
  Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.SIGSOFT FSE Companion2024:440-451
• 
  [c236]
  Bing Sun,Jun Sun,Wayne Koh,Jie Shi:
  Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach.USENIX Security Symposium2024
• 
  [e7]
  Holger Hermanns,Jun Sun,Lei Bu:
  Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings.Lecture Notes in Computer Science 14464,Springer2024, ISBN978-981-99-8663-7[contents]
• 
  [i96]
  Guoliang Dong,Jun Sun,Richard Schumi,Bo Wang,Xinyu Wang:
  PTE: Axiomatic Semantics based Compiler Testing.CoRRabs/2401.01036 (2024)
• 
  [i95]
  Simiao Zhang,Jiaping Wang,Guoliang Dong,Jun Sun,Yueling Zhang,Geguang Pu:
  Experimenting a New Programming Practice with LLMs.CoRRabs/2401.01062 (2024)
• 
  [i94]
  Yang Sun,Christopher M. Poskitt,Xiaodong Zhang,Jun Sun:
  REDriver: Runtime Enforcement for Autonomous Vehicles.CoRRabs/2401.02253 (2024)
• 
  [i93]
  Huijia Sun,Christopher M. Poskitt,Yang Sun,Jun Sun,Yuqi Chen:
  ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings.CoRRabs/2401.07063 (2024)
• 
  [i92]
  Boquan Li,Mengdi Zhang,Peixin Zhang,Jun Sun,Xingmei Wang:
  Resilient Watermarking for LLM-Generated Codes.CoRRabs/2402.07518 (2024)
• 
  [i91]
  Yihao Zhang,Zeming Wei,Jun Sun,Meng Sun:
  Towards General Conceptual Model Editing via Adversarial Representation Engineering.CoRRabs/2404.13752 (2024)
• 
  [i90]
  Guoliang Dong,Haoyu Wang,Jun Sun,Xinyu Wang:
  Evaluating and Mitigating Linguistic Discrimination in Large Language Models.CoRRabs/2404.18534 (2024)
• 
  [i89]
  Ruihan Zhang,Jun Sun:
  Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors.CoRRabs/2405.11547 (2024)
• 
  [i88]
  Jingnan Zheng,Han Wang,An Zhang,Tai D. Nguyen,Jun Sun,Tat-Seng Chua:
  ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation.CoRRabs/2405.14125 (2024)
• 
  [i87]
  Nay Myat Min,Long H. Pham,Jun Sun:
  Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning.CoRRabs/2405.14781 (2024)
• 
  [i86]
  Ruihan Zhang,Jun Sun:
  How Does Bayes Error Limit Probabilistic Robust Accuracy.CoRRabs/2405.14923 (2024)
• 
  [i85]
  Wei Zhao,Zhe Li,Yige Li,Ye Zhang,Jun Sun:
  Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing.CoRRabs/2405.18166 (2024)
• 
  [i84]
  Dong Chen,Shaoxin Lin,Muhan Zeng,Daoguang Zan,Jian-Gang Wang,Anton Cheshkov,Jun Sun,Hao Yu,Guoliang Dong,Artem Aliev,Jie Wang,Xiao Cheng,Guangtai Liang,Yuchi Ma,Pan Bian,Tao Xie,Qianxiang Wang:
  CodeR: Issue Resolving with Multi-Agent and Task Graphs.CoRRabs/2406.01304 (2024)
• 
  [i83]
  Shuang Liu,Chenglin Tian,Jun Sun,Ruifeng Wang,Wei Lu,Yongxin Zhao,Yinxing Xue,Junjie Wang,Xiaoyong Du:
  Conformance Testing of Relational DBMS Against SQL Specifications.CoRRabs/2406.09469 (2024)
• 
  [i82]
  Yufan Cai,Zhe Hou,Xiaokun Luan,David Sanán,Yun Lin,Jun Sun,Jin Song Dong:
  Towards Large Language Model Aided Program Refinement.CoRRabs/2406.18616 (2024)
• 
  [i81]
  Long H. Pham,Jun Sun:
  Certified Continual Learning for Neural Network Regression.CoRRabs/2407.06697 (2024)
• 
  [i80]
  Kun Wang,Christopher M. Poskitt,Yang Sun,Jun Sun,Jingyi Wang,Peng Cheng,Jiming Chen:
  μDrive: User-Controlled Autonomous Driving.CoRRabs/2407.13201 (2024)
• 
  [i79]
  Étienne André,Shuang Liu,Yang Liu,Christine Choppy,Jun Sun,Jin Song Dong:
  Formalizing UML State Machines for Automated Verification - A Survey.CoRRabs/2407.17215 (2024)
• 
  [i78]
  Shengping Xiao,Yongkang Li,Shufang Zhu,Jun Sun,Jianwen Li,Geguang Pu,Moshe Y. Vardi:
  On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.CoRRabs/2408.07324 (2024)
• 
  [i77]
  Yige Li,Hanxun Huang,Yunhan Zhao,Xingjun Ma,Jun Sun:
  BackdoorLLM: A Comprehensive Benchmark for Backdoor Attacks on Large Language Models.CoRRabs/2408.12798 (2024)
• 
  [i76]
  Yang Sun,Christopher M. Poskitt,Jun Sun:
  Are Existing Road Design Guidelines Suitable for Autonomous Vehicles?CoRRabs/2409.10562 (2024)
• 
  [i75]
  Zhe Li,Wei Zhao,Yige Li,Jun Sun:
  Do Influence Functions Work on Large Language Models?CoRRabs/2409.19998 (2024)
• 
  [i74]
  Wei Zhao,Zhe Li,Yige Li,Jun Sun:
  Adversarial Suffixes May Be Features Too!CoRRabs/2410.00451 (2024)
• 
  [i73]
  Tai D. Nguyen,Long H. Pham,Jun Sun:
  UniAdapt: A Universal Adapter for Knowledge Calibration.CoRRabs/2410.00454 (2024)
• 
  [i72]
  Mengdi Zhang,Kai Kiat Goh,Peixin Zhang,Jun Sun:
  LLMScan: Causal Scan for LLM Misbehavior Detection.CoRRabs/2410.16638 (2024)
• 
  [i71]
  Nay Myat Min,Long H. Pham,Yige Li,Jun Sun:
  CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization.CoRRabs/2411.12768 (2024)
• 
  [i70]
  Jinhao Dong,Jun Sun,Wenjie Zhang,Jin Song Dong,Dan Hao:
  ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation.CoRRabs/2411.15587 (2024)
• 
  [i69]
  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:
  The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.CoRRabs/2412.06512 (2024)
• 
  [i68]
  Zongxin Liu,Zhe Zhao,Fu Song,Jun Sun,Pengfei Yang,Xiaowei Huang,Lijun Zhang:
  Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.CoRRabs/2412.13229 (2024)
• 
  [i67]
  Xiaolin Wen,Tai D. Nguyen,Shaolun Ruan,Qiaomu Shen,Jun Sun,Feida Zhu,Yong Wang:
  PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification.CoRRabs/2412.18470 (2024)
• 
  [i66]
  Xiaolin Wen,Tai D. Nguyen,Lun Zhang,Jun Sun,Yong Wang:
  PrettiSmart: Visual Interpretation of Smart Contracts via Simulation.CoRRabs/2412.18484 (2024)
• 2023
• 
  [j66]
  Étienne André,Shuang Liu,Yang Liu,Christine Choppy,Jun Sun,Jin Song Dong:
  Formalizing UML State Machines for Automated Verification - A Survey.ACM Comput. Surv.55(13s):277:1-277:47 (2023)
• 
  [j65]
  Feng Zhang,Leping Zhang,Yongwang Zhao,Yang Liu,Jun Sun:
  Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.Formal Aspects Comput.35(4):24:1-24:29 (2023)
• 
  [j64]
  Bo Gao,Jun Sun,Bochun Wang:
  Personal Information Protection in Government Data Openness Using Decision Tree Model.J. Glob. Inf. Manag.31(9):1-23 (2023)
• 
  [j63]
  Yifan Jia,Christopher M. Poskitt,Peixin Zhang,Jingyi Wang,Jun Sun,Sudipta Chattopadhyay:
  Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection.IEEE Robotics Autom. Lett.8(12):8350-8357 (2023)
• 
  [j62]
  Jialuo Chen,Jingyi Wang,Xingjun Ma,Youcheng Sun,Jun Sun,Peixin Zhang,Peng Cheng:
  QuoTe: Quality-oriented Testing for Deep Learning Systems.ACM Trans. Softw. Eng. Methodol.32(5):125:1-125:33 (2023)
• 
  [j61]
  Mengdi Zhang,Jun Sun,Jingyi Wang,Bing Sun:
  TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination.ACM Trans. Softw. Eng. Methodol.32(6):137:1-137:24 (2023)
• 
  [j60]
  Yingquan Zhao,Zan Wang,Shuang Liu,Jun Sun,Junjie Chen,Xiang Chen:
  Achieving High MAP-Coverage Through Pattern Constraint Reduction.IEEE Trans. Software Eng.49(1):99-112 (2023)
• 
  [j59]
  Yuan Zhou,Yang Sun,Yun Tang,Yuqi Chen,Jun Sun,Christopher M. Poskitt,Yang Liu,Zijiang Yang:
  Specification-Based Autonomous Driving System Testing.IEEE Trans. Software Eng.49(6):3391-3410 (2023)
• 
  [j58]
  Kun Wang,Jingyi Wang,Christopher M. Poskitt,Xiangxiang Chen,Jun Sun,Peng Cheng:
  K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs.IEEE Trans. Software Eng.49(10):4796-4813 (2023)
• 
  [j57]
  Fan Zhang,Qianmei Wu,Bohan Xuan,Yuqi Chen,Wei Lin,Christopher M. Poskitt,Jun Sun,Binbin Chen:
  Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing.IEEE Trans. Software Eng.49(11):4829-4845 (2023)
• 
  [c235]
  Mingtian Tan,Xiaofei Xie,Jun Sun,Tianhao Wang:
  Mitigating Membership Inference Attacks via Weighted Smoothing.ACSAC2023:787-798
• 
  [c234]
  Yedi Zhang,Fu Song,Jun Sun:
  QEBVerif: Quantization Error Bound Verification of Neural Networks.CAV (2)2023:413-437
• 
  [c233]
  Tai D. Nguyen,Long H. Pham,Jun Sun,Quang Loc Le:
  An Idealist's Approach for Smart Contract Correctness.ICFEM2023:11-28
• 
  [c232]
  Weipeng Jiang,Chao Shen,Chenhao Lin,Jingyi Wang,Jun Sun,Xuanqi Gao:
  Black-Box Fairness Testing with Shadow Models.ICICS2023:467-484
• 
  [c231]
  Xiaoning Ren,Yun Lin,Yinxing Xue,Ruofan Liu,Jun Sun,Zhiyong Feng,Jin Song Dong:
  DeepArc: Modularizing Neural Networks for the Model Maintenance.ICSE2023:1008-1019
• 
  [c230]
  Shuzheng Gao,Cuiyun Gao,Chaozheng Wang,Jun Sun,David Lo,Yue Yu:
  Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension.ICSE2023:1933-1945
• 
  [c229]
  Christopher M. Poskitt,Yuqi Chen,Jun Sun,Yu Jiang:
  Finding Causally Different Tests for an Industrial Control System.ICSE2023:2578-2590
• 
  [c228]
  Richard Schumi,Jun Sun:
  Semantic-Based Neural Network Repair.ISSTA2023:150-162
• 
  [c227]
  Chen Yang,Junjie Chen,Xingyu Fan,Jiajun Jiang,Jun Sun:
  Silent Compiler Bug De-duplication via Three-Dimensional Analysis.ISSTA2023:677-689
• 
  [c226]
  Xiaodong Zhang,Wei Zhao,Yang Sun,Jun Sun,Yulong Shen,Xuewen Dong,Zijiang Yang:
  Testing Automated Driving Systems by Breaking Many Laws Efficiently.ISSTA2023:942-953
• 
  [c225]
  Jiaying Li,Guangdong Bai,Long H. Pham,Jun Sun:
  Towards an Effective and Interpretable Refinement Approach for DNN Verification.QRS2023:569-580
• 
  [c224]
  Lida Zhao,Sen Chen,Zhengzi Xu,Chengwei Liu,Lyuye Zhang,Jiahui Wu,Jun Sun,Yang Liu:
  Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects.ESEC/SIGSOFT FSE2023:960-972
• 
  [c223]
  Bozhi Wu,Shangqing Liu,Yang Xiao,Zhiming Li,Jun Sun,Shang-Wei Lin:
  Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing.ESEC/SIGSOFT FSE2023:1371-1383
• 
  [c222]
  Étienne André,Engel Lefaucheux,Didier Lime,Dylan Marinho,Jun Sun:
  Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.TiCSA@ETAPS2023:1-26
• 
  [e6]
  Étienne André,Jun Sun:
  Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I.Lecture Notes in Computer Science 14215,Springer2023, ISBN978-3-031-45328-1[contents]
• 
  [e5]
  Étienne André,Jun Sun:
  Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II.Lecture Notes in Computer Science 14216,Springer2023, ISBN978-3-031-45331-1[contents]
• 
  [i65]
  Christopher M. Poskitt,Yuqi Chen,Jun Sun,Yu Jiang:
  Finding Causally Different Tests for an Industrial Control System.CoRRabs/2302.04175 (2023)
• 
  [i64]
  Richard Schumi,Jun Sun:
  Semantic-Based Neural Network Repair.CoRRabs/2306.07995 (2023)
• 
  [i63]
  Tai D. Nguyen,Long H. Pham,Jun Sun:
  Fuzzing with Quantitative and Adaptive Hot-Bytes Identification.CoRRabs/2307.02289 (2023)
• 
  [i62]
  Simiao Zhang,Jitao Bai,Menghong Guan,Yihao Huang,Yueling Zhang,Jun Sun,Geguang Pu:
  Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.CoRRabs/2307.11379 (2023)
• 
  [i61]
  Boquan Li,Jun Sun,Christopher M. Poskitt:
  How Generalizable are Deepfake Detectors? An Empirical Study.CoRRabs/2308.04177 (2023)
• 
  [i60]
  Ruihan Zhang,Peixin Zhang,Jun Sun:
  Towards Certified Probabilistic Robustness with High Accuracy.CoRRabs/2309.00879 (2023)
• 
  [i59]
  Peixin Zhang,Jun Sun,Mingtian Tan,Xinyu Wang:
  Backdoor Attack through Machine Unlearning.CoRRabs/2310.10659 (2023)
• 
  [i58]
  Xiaoxia Liu,Jingyi Wang,Jun Sun,Xiaohan Yuan,Guoliang Dong,Peng Di,Wenhai Wang,Dongxia Wang:
  Prompting Frameworks for Large Language Models: A Survey.CoRRabs/2311.12785 (2023)
• 
  [i57]
  Wei Zhao,Zhe Li,Jun Sun:
  Causality Analysis for Evaluating the Security of Large Language Models.CoRRabs/2312.07876 (2023)
• 2022
• 
  [j56]
  Mengdi Zhang,Jun Sun,Jingyi Wang:
  Which neural network makes more explainable decisions? An approach towards measuring explainability.Autom. Softw. Eng.29(2):39 (2022)
• 
  [j55]
  Chi Chen,Xin Peng,Bihuan Chen,Jun Sun,Zhenchang Xing,Xin Wang,Wenyun Zhao:
  "More Than Deep Learning": post-processing for API sequence recommendation.Empir. Softw. Eng.27(1):15 (2022)
• 
  [j54]
  Bowen Li,Xin Peng,Qilin Xiang,Hanzhang Wang,Tao Xie,Jun Sun,Xuanzhe Liu:
  Enjoy your observability: an industrial survey of microservice tracing and analysis.Empir. Softw. Eng.27(1):25 (2022)
• 
  [j53]
  Tao Xie,Shengchao Qin,Wenhui Zhang,Jun Sun,Lei Bu,Ge Li:
  Preface.J. Comput. Sci. Technol.37(1):1-3 (2022)
• 
  [j52]
  Xuan-Bach Le,Shang-Wei Lin,Jun Sun,David Sanán:
  A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic.Proc. ACM Program. Lang.6(POPL):1-27 (2022)
• 
  [j51]
  Yifan Jia,Christopher M. Poskitt,Jun Sun,Sudipta Chattopadhyay:
  Physical Adversarial Attack on a Robotic Arm.IEEE Robotics Autom. Lett.7(4):9334-9341 (2022)
• 
  [j50]
  Étienne André,Didier Lime,Dylan Marinho,Jun Sun:
  Guaranteeing Timed Opacity using Parametric Timed Model Checking.ACM Trans. Softw. Eng. Methodol.31(4):64:1-64:36 (2022)
• 
  [j49]
  Xiang Zhou,Xin Peng,Tao Xie,Jun Sun,Chao Ji,Wenhai Li,Dan Ding:
  Delta Debugging Microservice Systems with Parallel Optimization.IEEE Trans. Serv. Comput.15(1):16-29 (2022)
• 
  [j48]
  Chi Chen,Xin Peng,Zhenchang Xing,Jun Sun,Xin Wang,Yifan Zhao,Wenyun Zhao:
  Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation.IEEE Trans. Software Eng.48(8):2987-3009 (2022)
• 
  [j47]
  Peixin Zhang,Jingyi Wang,Jun Sun,Xinyu Wang,Guoliang Dong,Xingen Wang,Ting Dai,Jin Song Dong:
  Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling.IEEE Trans. Software Eng.48(9):3593-3612 (2022)
• 
  [c221]
  Long H. Pham,Jun Sun:
  Verifying Neural Networks Against Backdoor Attacks.CAV (1)2022:171-192
• 
  [c220]
  Yunkai Liang,Yun Lin,Xuezhi Song,Jun Sun,Zhiyong Feng,Jin Song Dong:
  gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects.ICSE-Companion2022:90-94
• 
  [c219]
  Bing Sun,Jun Sun,Long H. Pham,Tie Shi:
  Causality-Based Neural Network Repair.ICSE2022:338-349
• 
  [c218]
  Richard Schumi,Jun Sun:
  ExAIS: Executable AI Semantics.ICSE2022:859-870
• 
  [c217]
  Yang Sun,Christopher M. Poskitt,Jun Sun,Yuqi Chen,Zijiang Yang:
  LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles.ASE2022:62:1-62:12
• 
  [c216]
  Yedi Zhang,Zhe Zhao,Guangke Chen,Fu Song,Min Zhang,Taolue Chen,Jun Sun:
  QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.ASE2022:82:1-82:13
• 
  [c215]
  Eric Rothstein Morris,Jun Sun,Sudipta Chattopadhyay:
  ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage.MEMOCODE2022:1-12
• 
  [c214]
  Mengdi Zhang,Jun Sun:
  Adaptive fairness improvement based on causality analysis.ESEC/SIGSOFT FSE2022:6-17
• 
  [c213]
  Guoliang Dong,Jingyi Wang,Jun Sun,Sudipta Chattopadhyay,Xinyu Wang,Ting Dai,Jie Shi,Jin Song Dong:
  Repairing Adversarial Texts Through Perturbation.TASE2022:29-48
• 
  [d2]
  Étienne André,Hoang Gia Nguyen,Laure Petrucci,Jun Sun:
  Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption.Zenodo,2022 
• 
  [i56]
  Guoliang Dong,Jingyi Wang,Jun Sun,Sudipta Chattopadhyay,Xinyu Wang,Ting Dai,Jie Shi,Jin Song Dong:
  Repairing Adversarial Texts through Perturbation.CoRRabs/2201.02504 (2022)
• 
  [i55]
  Kun Wang,Jingyi Wang,Christopher M. Poskitt,Xiangxiang Chen,Jun Sun,Peng Cheng:
  K-ST: A Formal Executable Semantics of PLC Structured Text Language.CoRRabs/2202.04076 (2022)
• 
  [i54]
  Richard Schumi,Jun Sun:
  ExAIS: Executable AI Semantics.CoRRabs/2202.09868 (2022)
• 
  [i53]
  Bing Sun,Jun Sun,Hong Long Pham,Jie Shi:
  Causality-based Neural Network Repair.CoRRabs/2204.09274 (2022)
• 
  [i52]
  Long H. Pham,Jun Sun:
  Verifying Neural Networks Against Backdoor Attacks.CoRRabs/2205.06992 (2022)
• 
  [i51]
  Étienne André,Didier Lime,Dylan Marinho,Jun Sun:
  Guaranteeing Timed Opacity using Parametric Timed Model Checking.CoRRabs/2206.05438 (2022)
• 
  [i50]
  Shuzheng Gao,Cuiyun Gao,Chaozheng Wang,Jun Sun,David Lo:
  CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing.CoRRabs/2207.11104 (2022)
• 
  [i49]
  Mengdi Zhang,Jun Sun,Jingyi Wang,Bing Sun:
  TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination.CoRRabs/2208.11321 (2022)
• 
  [i48]
  Yang Sun,Christopher M. Poskitt,Jun Sun,Yuqi Chen,Zijiang Yang:
  LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles.CoRRabs/2208.14656 (2022)
• 
  [i47]
  Mengdi Zhang,Jun Sun:
  Adaptive Fairness Improvement Based on Causality Analysis.CoRRabs/2209.07190 (2022)
• 
  [i46]
  Quang Loc Le,Jun Sun,Long H. Pham,Shengchao Qin:
  S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.CoRRabs/2209.09327 (2022)
• 
  [i45]
  Yedi Zhang,Fu Song,Jun Sun:
  QEBVerif: Quantization Error Bound Verification of Neural Networks.CoRRabs/2212.02781 (2022)
• 
  [i44]
  Yedi Zhang,Zhe Zhao,Fu Song,Min Zhang,Taolue Chen,Jun Sun:
  QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.CoRRabs/2212.11138 (2022)
• 2021
• 
  [j46]
  Étienne André,Hoang Gia Nguyen,Laure Petrucci,Jun Sun:
  Distributed parametric model checking timed automata under non-Zenoness assumption.Formal Methods Syst. Des.59(1):253-290 (2021)
• 
  [j45]
  Yifan Jia,Jingyi Wang,Christopher M. Poskitt,Sudipta Chattopadhyay,Jun Sun,Yuqi Chen:
  Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems.Int. J. Crit. Infrastructure Prot.34:100452 (2021)
• 
  [j44]
  Fan Zhang,Ziyuan Liang,Cong Zuo,Jun Shao,Jianting Ning,Jun Sun,Joseph K. Liu,Yibao Bao:
  hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave.IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.40(6):1144-1157 (2021)
• 
  [j43]
  Jingyi Wang,Jun Sun,Shengchao Qin,Cyrille Jégourel:
  Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement.IEEE Trans. Software Eng.47(1):189-203 (2021)
• 
  [j42]
  Xiang Zhou,Xin Peng,Tao Xie,Jun Sun,Chao Ji,Wenhai Li,Dan Ding:
  Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study.IEEE Trans. Software Eng.47(2):243-260 (2021)
• 
  [j41]
  Haijun Wang,Yun Lin,Zijiang Yang,Jun Sun,Yang Liu,Jin Song Dong,Qinghua Zheng,Ting Liu:
  Explaining Regressions via Alignment Slicing and Mending.IEEE Trans. Software Eng.47(11):2421-2437 (2021)
• 
  [c212]
  Bo Gao,Siyuan Shen,Ling Shi,Jiaying Li,Jun Sun,Lei Bu:
  Verification Assisted Gas Reduction for Smart Contracts.APSEC2021:264-274
• 
  [c211]
  Richard Schumi,Jun Sun:
  SpecTest: Specification-Based Compiler Testing.FASE2021:269-291
• 
  [c210]
  Bing Sun,Jun Sun,Ting Dai,Lijun Zhang:
  Probabilistic Verification of Neural Networks Against Group Fairness.FM2021:83-102
• 
  [c209]
  Yun Tang,Yuan Zhou,Fenghua Wu,Yang Liu,Jun Sun,Wuling Huang,Gang Wang:
  Route Coverage Testing for Autonomous Vehicles via Map Modeling.ICRA2021:11450-11456
• 
  [c208]
  Jingyi Wang,Jialuo Chen,Youcheng Sun,Xingjun Ma,Dongxia Wang,Jun Sun,Peng Cheng:
  RobOT: Robustness-Oriented Testing for Deep Learning Systems.ICSE2021:300-311
• 
  [c207]
  Bo Gao,Ling Shi,Jiaying Li,Jialiang Chang,Jun Sun,Zijiang Yang:
  sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.ISoLA2021:453-469
• 
  [c206]
  Zhe Zhao,Guangke Chen,Jingyi Wang,Yiwei Yang,Fu Song,Jun Sun:
  Attack as defense: characterizing adversarial examples using robustness.ISSTA2021:42-55
• 
  [c205]
  Ziqi Shuai,Zhenbang Chen,Yufeng Zhang,Jun Sun,Ji Wang:
  Type and interval aware array constraint solving for symbolic execution.ISSTA2021:361-373
• 
  [c204]
  Yun Tang,Yuan Zhou,Yang Liu,Jun Sun,Gang Wang:
  Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps.IV2021:179-185
• 
  [c203]
  Shaohua Zhang,Shuang Liu,Jun Sun,Yuqi Chen,Wenzhi Huang,Jinyi Liu,Jian Liu,Jianye Hao:
  FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.ASE2021:555-567
• 
  [c202]
  Yanzhou Mu,Zan Wang,Shuang Liu,Jun Sun,Junjie Chen,Xiang Chen:
  HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing.QRS2021:219-230
• 
  [c201]
  Guoliang Dong,Jun Sun,Xingen Wang,Xinyu Wang,Ting Dai:
  Towards Repairing Neural Networks Correctly.QRS2021:714-725
• 
  [c200]
  Yuqi Chen,Christopher M. Poskitt,Jun Sun:
  Code integrity attestation for PLCs using black box neural network predictions.ESEC/SIGSOFT FSE2021:32-44
• 
  [c199]
  Yun Lin,You Sheng Ong,Jun Sun,Gordon Fraser,Jin Song Dong:
  Graph-based seed object synthesis for search-based unit testing.ESEC/SIGSOFT FSE2021:1068-1080
• 
  [c198]
  Tai D. Nguyen,Long H. Pham,Jun Sun:
  SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.SP2021:1215-1229
• 
  [c197]
  Pengfei Yang,Renjue Li,Jianlin Li,Cheng-Chao Huang,Jingyi Wang,Jun Sun,Bai Xue,Lijun Zhang:
  Improving Neural Network Verification through Spurious Region Guided Refinement.TACAS (1)2021:389-408
• 
  [c196]
  Bin Hu,Yijian Wu,Xin Peng,Jun Sun,Nanjie Zhan,Jun Wu:
  Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures.SANER2021:225-236
• 
  [i43]
  Tai D. Nguyen,Long H. Pham,Jun Sun:
  sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.CoRRabs/2101.01917 (2021)
• 
  [i42]
  Jingyi Wang,Jialuo Chen,Youcheng Sun,Xingjun Ma,Dongxia Wang,Jun Sun,Peng Cheng:
  RobOT: Robustness-Oriented Testing for Deep Learning Systems.CoRRabs/2102.05913 (2021)
• 
  [i41]
  Zhe Zhao,Guangke Chen,Jingyi Wang,Yiwei Yang,Fu Song,Jun Sun:
  Attack as Defense: Characterizing Adversarial Examples using Robustness.CoRRabs/2103.07633 (2021)
• 
  [i40]
  Yifan Jia,Jingyi Wang,Christopher M. Poskitt,Sudipta Chattopadhyay,Jun Sun,Yuqi Chen:
  Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems.CoRRabs/2105.10707 (2021)
• 
  [i39]
  Yuqi Chen,Christopher M. Poskitt,Jun Sun:
  Code Integrity Attestation for PLCs using Black Box Neural Network Predictions.CoRRabs/2106.07851 (2021)
• 
  [i38]
  Xin Wang,Xin Peng,Jun Sun,Yifan Zhao,Chi Chen,Jinkai Fan:
  A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries.CoRRabs/2107.01642 (2021)
• 
  [i37]
  Peixin Zhang,Jingyi Wang,Jun Sun,Xinyu Wang,Guoliang Dong,Xingen Wang,Ting Dai,Jin Song Dong:
  Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling.CoRRabs/2107.08176 (2021)
• 
  [i36]
  Bing Sun,Jun Sun,Ting Dai,Lijun Zhang:
  Probabilistic Verification of Neural Networks Against Group Fairness.CoRRabs/2107.08362 (2021)
• 
  [i35]
  Peixin Zhang,Jingyi Wang,Jun Sun,Xinyu Wang:
  Fairness Testing of Deep Image Classification with Adequacy Metrics.CoRRabs/2111.08856 (2021)
• 
  [i34]
  Yinxing Xue,Jiaming Ye,Wei Zhang,Jun Sun,Lei Ma,Haijun Wang,Jianjun Zhao:
  Machine Learning Guided Cross-Contract Fuzzing.CoRRabs/2111.12423 (2021)
• 
  [i33]
  Shunkai Zhu,Jingyi Wang,Jun Sun,Jie Yang,Xingwei Lin,Liyi Zhang,Peng Cheng:
  Better Pay Attention Whilst Fuzzing.CoRRabs/2112.07143 (2021)
• 2020
• 
  [j40]
  Étienne André,Tian Huat Tan,Manman Chen,Shuang Liu,Jun Sun,Yang Liu,Jin Song Dong:
  Automated synthesis of local time requirement for service composition.Softw. Syst. Model.19(4):983-1013 (2020)
• 
  [c195]
  Qingze Hum,Wei Jin Tan,Shi Ying Tey,Latasha Lenus,Ivan Homoliak,Yun Lin,Jun Sun:
  CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies.Blockchain2020:17-25
• 
  [c194]
  Hugo Bazille,Blaise Genest,Cyrille Jégourel,Jun Sun:
  Global PAC Bounds for Learning Discrete Time Markov Chains.CAV (2)2020:304-326
• 
  [c193]
  Tim Muller,Dongxia Wang,Jun Sun:
  Provably Robust Decisions based on Potentially Malicious Sources of Information.CSF2020:411-424
• 
  [c192]
  Jiao Jiao,Shang-Wei Lin,Jun Sun:
  A Generalized Formal Semantic Framework for Smart Contracts.FASE2020:75-96
• 
  [c191]
  Xuan-Bach Le,David Sanán,Jun Sun,Shang-Wei Lin:
  Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications.ICECCS2020:43-52
• 
  [c190]
  Yizhen Dong,Peixin Zhang,Jingyi Wang,Shuang Liu,Jun Sun,Jianye Hao,Xinyu Wang,Li Wang,Jin Song Dong,Ting Dai:
  An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks.ICECCS2020:73-82
• 
  [c189]
  Zan Wang,Haichi Wang,Shuang Liu,Jun Sun,Haoyu Wang,Junjie Chen:
  IFIX: Fixing Concurrency Bugs While They Are Introduced.ICECCS2020:155-164
• 
  [c188]
  Teck Ping Khoo,Jun Sun,Sudipta Chattopadhyay:
  Learning Fault Models of Cyber Physical Systems.ICFEM2020:147-162
• 
  [c187]
  Tai D. Nguyen,Long H. Pham,Jun Sun,Yun Lin,Quang Tran Minh:
  sFuzz: an efficient adaptive fuzzer for solidity smart contracts.ICSE2020:778-788
• 
  [c186]
  Peixin Zhang,Jingyi Wang,Jun Sun,Guoliang Dong,Xinyu Wang,Xingen Wang,Jin Song Dong,Ting Dai:
  White-box fairness testing through adversarial sampling.ICSE2020:949-960
• 
  [c185]
  Hengbiao Yu,Zhenbang Chen,Xianjin Fu,Ji Wang,Zhendong Su,Jun Sun,Chun Huang,Wei Dong:
  Symbolic verification of message passing interface programs.ICSE2020:1248-1260
• 
  [c184]
  Huaiwei Yang,Shuang Liu,Lin Gui,Yongxin Zhao,Jun Sun,Junjie Chen:
  What Makes Open Source Software Projects Impactful: A Data-Driven Approach.Internetware2020:126-135
• 
  [c183]
  Jun Sun,Zijiang Yang:
  ObjSim: efficient testing of cyber-physical systems.TAV-CPS/IoT@ISSTA2020:1-2
• 
  [c182]
  Yuqi Chen,Bohan Xuan,Christopher M. Poskitt,Jun Sun,Fan Zhang:
  Active fuzzing for testing and securing cyber-physical systems.ISSTA2020:14-26
• 
  [c181]
  Yun Lin,Jun Sun,Gordon Fraser,Ziheng Xiu,Ting Liu,Jin Song Dong:
  Recovering fitness gradients for interprocedural Boolean flags in search-based testing.ISSTA2020:440-451
• 
  [c180]
  Yueling Zhang,Geguang Pu,Jun Sun:
  Accelerating All-SAT Computation with Short Blocking Clauses.ASE2020:6-17
• 
  [c179]
  Guoliang Dong,Jingyi Wang,Jun Sun,Yang Zhang,Xinyu Wang,Ting Dai,Jin Song Dong,Xingen Wang:
  Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction.ASE2020:499-510
• 
  [c178]
  Haichi Wang,Zan Wang,Jun Sun,Shuang Liu,Ayesha Sadiq,Yuan-Fang Li:
  Towards Generating Thread-Safe Classes Automatically.ASE2020:943-955
• 
  [c177]
  Jiao Jiao,Shuanglong Kan,Shang-Wei Lin,David Sanán,Yang Liu,Jun Sun:
  Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity.SP2020:1695-1712
• 
  [c176]
  Eric Rothstein Morris,Jun Sun,Sudipta Chattopadhyay:
  Systematic Classification of Attackers via Bounded Model Checking.VMCAI2020:226-247
• 
  [c175]
  Guanhua Li,Yijian Wu,Chanchal K. Roy,Jun Sun,Xin Peng,Nanjie Zhan,Bin Hu,Jingyi Ma:
  SAGA: Efficient and Large-Scale Detection of Near-Miss Clones with GPU Acceleration.SANER2020:272-283
• 
  [i32]
  Étienne André,Tian Huat Tan,Manman Chen,Shuang Liu,Jun Sun,Yang Liu,Jin Song Dong:
  Automated synthesis of local time requirement for service composition.CoRRabs/2003.08116 (2020)
• 
  [i31]
  Tai D. Nguyen,Long H. Pham,Jun Sun,Yun Lin,Quang Tran Minh:
  sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts.CoRRabs/2004.08563 (2020)
• 
  [i30]
  Yuqi Chen,Bohan Xuan,Christopher M. Poskitt,Jun Sun,Fan Zhang:
  Active Fuzzing for Testing and Securing Cyber-Physical Systems.CoRRabs/2005.14124 (2020)
• 
  [i29]
  Qingze Hum,Wei Jin Tan,Shi Ying Tey,Latasha Lenus,Ivan Homoliak,Yun Lin,Jun Sun:
  CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies.CoRRabs/2006.10280 (2020)
• 
  [i28]
  Long H. Pham,Jiaying Li,Jun Sun:
  SOCRATES: Towards a Unified Platform for Neural Network Verification.CoRRabs/2007.11206 (2020)
• 
  [i27]
  Chi Chen,Xin Peng,Zhenchang Xing,Jun Sun,Xin Wang,Yifan Zhao,Wenyun Zhao:
  Holistic Combination of Structural and Textual Code Information for Context based API Recommendation.CoRRabs/2010.07514 (2020)
• 
  [i26]
  Pengfei Yang,Renjue Li,Jianlin Li,Cheng-Chao Huang,Jingyi Wang,Jun Sun,Bai Xue,Lijun Zhang:
  Improving Neural Network Verification through Spurious Region Guided Refinement.CoRRabs/2010.07722 (2020)
• 
  [i25]
  Guoliang Dong,Jun Sun,Jingyi Wang,Xinyu Wang,Ting Dai:
  Towards Repairing Neural Networks Correctly.CoRRabs/2012.01872 (2020)