Jin Song Dong

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 119

Top Venues

Publications

Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng
Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. KDD (2023)
Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong
Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS (2023)
É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) (2023)
Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong
Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. NDSS (2023)
Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53 (11) (2023)
Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong
Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) (2023)
Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. PRDC (2023)
Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong
Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. USENIX Security Symposium (2023)
Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong
-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning. KDD (2023)
Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS (2023)
Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong
DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE (2023)
Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh
Empirical Study on Transformer-based Techniques for Software Engineering. CoRR (2023)
YuFan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong
On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. NeurIPS (2023)
Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
Characterizing Cryptocurrency-themed Malicious Browser Extensions. SIGMETRICS (Abstracts) (2023)
Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. ESEC/SIGSOFT FSE (2023)
Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong
Insight Analysis for Tennis Strategy and Tactics. ICDM (2023)
Zhaoyu Liu, Kan Jiang, Jin Song Dong
Sports Injury Prediction in Professional Tennis. PRDC (2023)
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
Repairing Adversarial Texts Through Perturbation. TASE (2022)
Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei
RegMiner: mining replicable regression dataset from code repositories. ESEC/SIGSOFT FSE (2022)
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-Companion (2022)
Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong
Repairing Failure-inducing Inputs with Input Reflection. ASE (2022)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR (2022)
Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong
Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. IJCAI (2022)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34 (2) (2022)
Ruofan Liu, Yun Lin, Xianglin Yang, Jin Song Dong
Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective. NeurIPS (2022)
Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. AAAI (2022)
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
Repairing Adversarial Texts through Perturbation. CoRR (2022)
Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. ASE (2022)
Ruofan Liu, Yun Lin, Xianglin Yang, Siang Hwee Ng, Dinil Mon Divakaran, Jin Song Dong
Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach. USENIX Security Symposium (2022)
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong
Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning. CoRR (2022)
Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. ICECCS (2022)
Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. CoRR (2022)
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei
RegMiner: towards constructing a large regression dataset from code evolution history. ISSTA (2022)
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) (2022)
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR (2022)
Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong
Assessing certificate validation user interfaces of WPA supplicants. MobiCom (2022)
Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
Geometric Theory for Program Testing. CoRR (2022)
Qian Li, Qingyuan Hu, Saiyu Qi, Yong Qi, Di Wu, Yun Lin, Jin Song Dong
Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label. Knowl. Based Syst. 241 (2022)
Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong
Generalizing Neural Networks by Reflecting Deviating Data in Production. CoRR (2021)
Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong
Graph-based seed object synthesis for search-based unit testing. ESEC/SIGSOFT FSE (2021)
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA (2021)
Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
Characterizing Cryptocurrency-themed Malicious Browser Extensions. Proc. ACM Meas. Anal. Comput. Syst. 6 (3) (2021)
Qian Li, Yong Qi, Qingyuan Hu, Saiyu Qi, Yun Lin, Jin Song Dong
Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65 (4) (2021)
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
Self-Checking Deep Neural Networks in Deployment. ICSE (2021)
Yun Lin, Ruofan Liu, Dinil Mon Divakaran, Jun Yang Ng, Qing Zhou Chan, Yiwen Lu, Yuxuan Si, Fan Zhang, Jin Song Dong
Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages. USENIX Security Symposium (2021)
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR (2021)
Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. 47 (12) (2021)
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
Self-Checking Deep Neural Networks in Deployment. CoRR (2021)
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) (2021)
Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. ASE (2021)
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176 (2021)
Xuezhi Song, Yun Lin, Siang Hwee Ng, Ping Yu, Xin Peng, Jin Song Dong
Constructing Regression Dataset from Code Evolution History. CoRR (2021)
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. CoRR (2021)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97 (2021)
Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong
It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW (2021)
Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong
Recovering fitness gradients for interprocedural Boolean flags in search-based testing. ISSTA (2020)
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. ICECCS (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
É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. CoRR (2020)
É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) (2020)
Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong
Deep Learning Application in Broadcast Tennis Video Annotation. ICECCS (2020)
Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong
A blockchain-based decentralized booking system. Knowl. Eng. Rev. 35 (2020)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
RL: a Language for Formal Engineering. ICECCS (2020)
Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai
White-box fairness testing through adversarial sampling. ICSE (2020)
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. ASE (2020)
Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong
Model Driven Inputs to aid Athlete's Decision Making. APSEC (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR (2019)
Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR (2019)
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong
Analyzing Recurrent Neural Network by Probabilistic Abstraction. CoRR (2019)
Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC (2019)
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR (2019)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR (2019)
Cyrille Jégourel, Jun Sun, Jin Song Dong
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. IEEE Commun. Surv. Tutorials 21 (3) (2019)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM (2018)
Seyedali Mirjalili, Andrew Lewis, Jin Song Dong
Confidence-based robust optimisation using multi-objective meta-heuristics. Swarm Evol. Comput. 43 (2018)
Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44 (6) (2018)
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30 (3-4) (2018)
Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS (2018)
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM (2018)
Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong
Break the dead end of dynamic slicing: localizing data and control omission bug. ASE (2018)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
Towards Trustworthy AI for Autonomous Systems. ICFEM (2018)
Shahrzad Saremi, Seyedali Mirjalili, Andrew Lewis, Alan Wee-Chung Liew, Jin Song Dong
Enhanced multi-objective particle swarm optimisation for estimating hand postures. Knowl. Based Syst. 158 (2018)
Cyrille Jégourel, Jun Sun, Jin Song Dong
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) (2018)
Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44 (8) (2018)
Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS (2018)
Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jin Song Dong
Feedback-based debugging. ICSE (2017)
Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong
A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm (2017)
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS (2017)
Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
A Verification Framework for Stateful Security Protocols. ICFEM (2017)
Cyrille Jégourel, Jun Sun, Jin Song Dong
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST (2017)
Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong
Mining implicit design templates for actionable code reuse. ASE (2017)
Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm (2017)
Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si
App genome: callback sequencing in Android. ICSE (Companion Volume) (2017)
Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15 (2) (2016)
Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
Service Adaptation with Probabilistic Partial Models. ICFEM (2016)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS (2016)
Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE (2016)

Jin Song Dong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jin Song Dong