World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
48
Citations
9902
World Ranking
6153
National Ranking
82

Overview

Jun Sun is affiliated with Singapore Management University in Singapore and has contributed extensively to the fields of Computer Science and Engineering. Their research spans multiple subfields including Artificial Intelligence, Information Systems, Software, Computer Vision and Pattern Recognition, and Signal Processing.

The main topics addressed in Jun Sun's work include:

  • Adversarial Robustness in Machine Learning
  • Software Testing and Debugging Techniques
  • Advanced Malware Detection Techniques
  • Software Engineering Research
  • Formal Methods in Verification
  • Advanced Neural Network Applications
  • Security and Verification in Computing

Jun Sun has collaborated frequently with several coauthors, including:

  • Jingyi Wang
  • Xiangdong Ding
  • Jin Song Dong
  • Long Hoang Pham
  • Christopher M. Poskitt

Their research has been published in diverse venues, with a noticeable concentration in:

  • arXiv (Cornell University)
  • SSRN Electronic Journal
  • IEEE Transactions on Software Engineering
  • ACM Transactions on Software Engineering and Methodology
  • Proceedings of the ACM on software engineering.

Selected recent papers by Jun Sun include:

  • Enjoy your observability: an industrial survey of microservice tracing and analysis, 2021, Empirical Software Engineering
  • Global Pointer: Novel Efficient Span-based Approach for Named Entity Recognition, 2022, arXiv (Cornell University)
  • Causality-based neural network repair, 2022, Proceedings of the 44th International Conference on Software Engineering
  • xFuzz: Machine Learning Guided Cross-Contract Fuzzing, 2022, IEEE Transactions on Dependable and Secure Computing
  • Enhancing corrosion resistance of ZK60 magnesium alloys via Ca microalloying: The impact of nanoscale precipitates, 2022, Journal of Magnesium and Alloys

Jun Sun has also contributed to book publications with Springer Science+Business Media, including titles such as:

  • Dependable Software Engineering. Theories, Tools, and Applications (2023)
  • Automated Technology for Verification and Analysis (2023)

Best Publications

  • PAT: Towards Flexible Verification under Fairness

    Jun Sun;Yang Liu;Jin Song Dong;Jun Pang

  • Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study

    Xiang Zhou;Xin Peng;Tao Xie;Jun Sun

  • Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning

    Jun Inoue;Yoriyuki Yamagata;Yuqi Chen;Christopher M. Poskitt

  • sFuzz: an efficient adaptive fuzzer for solidity smart contracts

    Tai D. Nguyen;Long H. Pham;Jun Sun;Yun Lin

  • Latent error prediction and fault localization for microservice applications by learning from system trace logs

    Xiang Zhou;Xin Peng;Tao Xie;Jun Sun

  • Model Checking CSP Revisited: Introducing a Process Analysis Toolkit

    Jun Sun;Yang Liu;Jin Song Dong

  • Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System

    Yuqi Chen;Christopher M. Poskitt;Jun Sun

  • Integrating Specification and Programs for System Modeling and Verification

    Jun Sun;Yang Liu;Jin Song Dong;Chunqing Chen

  • Poster: Benchmarking Microservice Systems for Software Engineering Research

    Xiang Zhou;Xin Peng;Tao Xie;Jun Sun

  • AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.

    Guangdong Bai;Jike Lei;Guozhu Meng;Sai Sathyanarayan Venkatraman

  • White-box fairness testing through adversarial sampling

    Peixin Zhang;Jingyi Wang;Jun Sun;Guoliang Dong

  • Adversarial sample detection for deep neural network through model mutation testing

    Jingyi Wang;Guoliang Dong;Jun Sun;Xinyu Wang

  • Business rule extraction from legacy code

    H. Huang;W.T. Tsai;S. Bhattacharya;X.P. Chen

  • Social-Loc: improving indoor localization with social sensing

    Junghyun Jun;Yu Gu;Long Cheng;Banghui Lu

  • Optimization and scale-up of propionic acid production by propionic acid-tolerant Propionibacterium acidipropionici with glycerol as the carbon source.

    Yunfeng Zhu;Jianghua Li;Ming Tan;Long Liu

  • PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers

    Yang Liu;Jun Sun;Jin Song Dong

  • Automatic Sky View Factor Estimation from Street View Photographs—A Big Data Approach

    Jianming Liang;Jianhua Gong;Jun Sun;Jieping Zhou

  • Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique

    Yinxing Xue;Guozhu Meng;Yang Liu;Tian Huat Tan

  • Modeling and verifying hierarchical real-time systems using stateful timed CSP

    Jun Sun;Yang Liu;Jin Song Dong;Yan Liu

  • Timed Automata Patterns

    Jin Song Dong;Ping Hao;Shengchao Qin;Jun Sun

  • Verification of computation orchestration via timed automata

    Jin Song Dong;Yang Liu;Jun Sun;Xian Zhang

  • Model Checking Linearizability via Refinement

    Yang Liu;Wei Chen;Yanhong A. Liu;Jun Sun

  • sCompile: Critical path identification and analysis for smart contracts

    Jialiang Chang;Bo Gao;Hao Xiao;Jun Sun

Frequent Co-Authors

Jin Song Dong
Jin Song Dong Griffith University
Zhenchang Xing
Zhenchang Xing Australian National University
Yu Gu
Yu Gu Visa (United States)
Tao Xie
Tao Xie Peking University
Zijiang Yang
Zijiang Yang Western Michigan University
Wang Yi
Wang Yi Uppsala University
Jie Zhang
Jie Zhang Nanyang Technological University
Le-Wei Li
Le-Wei Li University of Electronic Science and Technology of China
Mook-Seng Leong
Mook-Seng Leong National University of Singapore
Bashar Nuseibeh
Bashar Nuseibeh The Open University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to numerous related careers and educational pathways. Students often consider online programs for their flexibility and range of specializations. For those eager to accelerate their education, options like the fast track computer science degree let you earn a diploma in less time, making it easier to enter the workforce quickly.

If you are interested in applying computer science skills to environmental sectors, degrees in engineering might appeal to you. For example, an environmental engineering degree taught online combines technical knowledge with sustainable problem-solving. Understanding the mechanical engineering cost of education can also help you plan financially if you pursue this versatile field.

Diverse career opportunities are available with technology-focused degrees. See what jobs can you get with an environmental science degree for examples of roles that intersect with both environmental science and computing. These pathways showcase how computer science expertise can lead to fulfilling careers in innovative industries.

Best Scientists Citing Jun Sun

Trending Scientists

Recently Published Articles