News |
Biography |
Research Interests |
Selected Publications |
Courses |
Honors and Awards
Biography
I am currently an associate professor at China University of Geosciences(Beijing). I received the Bachelor Degree in Computer science and technology from Beijing Jiaotong University in 2007,
and the Ph.D. degrees in Computer software and theory from SKLCS, Institute of Software, Chinese Academy of Sciences in 2013. I was a visiting scholar at IRIF Laboratory of Universite Paris Cite (University Paris Diderot - Paris 7) from 2017 to 2018.
Research Interests
- Program Analysis and Verification, Intelligent Software Engineering, and Artificial Intelligence.
- ISMART(Intelligent Software: Modeling, Analysis and Research Team): Zhenshan Hu, Junyu Zhang, Zhunjun Nie, Shuning Li, Liyao Mei, Rui Zhang, Dekai Liu, Ce Fu, Yujie Liu, Jingjing Yang, Jiale Wang and Shuo Han.
- Past Interns: Qi Gao(Ph.D in Imperial College London), Shaohua Li(Ph.D in Fudan University), Runze Yang (Master in Beihang University), Weijie Shan(Master in CUHK) and Zhiwei Chen(Master in ISCAS)
- PhD/Master/Intern positions are available. We are looking for self-motivated students. If you would like to join us, please contact me for more details.
News
2026-03-13 Our work "HKI-RAG:Hierarchical Knowledge Indexing for Retrieval-Augmented Generation in Distributed Heterogeneous Architectures" was accpeted by EASE 2026(CCF C).
2025-12-09 Our work "Leveraging Enhanced Test-Driven Development for Accurate Code Generation in LLMs" was accpeted by SANER 2026(CCF B).
2025-09-19 Promoted as CCF Distinguished Member
2025-09-03 Our collaborative work "Decidability of Liveness on the TSO Memory Model" was accpeted by Formal Aspects of Computing(CCF B).
- 2025-05-28 Our work was accpeted by C-TEIT 2025.
- 2025-01-15 Granted State Key Laboratory of Advanced Rail Autonomous Operation Open Fund.
- 2025-01-01 Granted Huawei Company HarmonyOS Fund.
- 2024-05-24 We will co-organize one track "Fog Computing and IoT Services" in IIKI2024.
Selected Publications
(NOTICE: The electronic versions of the papers listed on this webpage are provided for personal use. Copyright is owned by the respective publishers or persons, and should be included explicitly in any distribution of the papers.)
Junyu Zhang, Shaohua Li, Teng Long*: Enhanced Target Detection: Fusion of SPD and CoTC3 Within YOLOv5 Framework IEEE Transactions on Geoscience and Remote Sensing 63: 1-14 (2025).
Weijie Shan, Teng Long*, Zhangbing Zhou: Adversarial Attacks on IoT Systems Leveraging Large Language Models. IIKI2024 Dec 6-8, 2024. Kusatsu, Shiga, Japan.
Zhujun Nie, Teng Long*, Zhangbing Zhou: Research on Rotational Object Recognition Based on HSV Color Space and Gamma Correction. ATAIT 2024: 178-189
Qi Gao, Teng Long*, Zhangbing Zhou :Mineral identification based on natural feature-oriented image processing and multi-label image classification. Expert Syst. Appl. 238(Part E): 122111 (2024) .
- Teng Long*, Xingtao Ren, Qing Wang, Chao Wang: Verifying the safety properties of distributed systems via mergeable parallelism. J. Syst. Archit. 130: 102646 (2022)
- Teng Long*, Qi Gao, Lili Xu, Zhangbing Zhou: A survey on adversarial attacks in computer vision: Taxonomy, visualization and future directions. Comput. Secur. 121: 102847 (2022)
- Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, Xiao Xue: ASTL: Accumulative Signal Temporal Logic for IoT Service Monitoring. ICWS 2022: 256-265
- Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu: Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA 2022: 149-165
- Runze Yang, Teng Long*: Derivative-free optimization adversarial attacks for graph convolutional networks. PeerJ Comput. Sci. 7: e693 (2021)
- Teng Long, Shan Qu, Qi Li, Huquan Kang, Luoyi Fu, Xinbing Wang, Chenghu Zhou: Efficient Block Propagation in Wireless Blockchain Networks and Its Application in Bitcoin. IEEE Trans. Netw. Sci. Eng. 8(4): 3349-3368 (2021)
- Teng Long*, Wenhui Zhang: Termination analysis with recursive calling graphs. J. Netw. Comput. Appl. 59: 109-116.
Courses
- Software Design and Architecture (2016-2024 Spring)
- Software Measurement (2016-2024 Autumn)
- Embedded Software Technology (2016-2024 Autumn)
- Software Engineering Practice (2018-2024 Summer)
Honors and Awards
- Best Paper Award for ATAIT 2024
- Baidu Excellent Teacher Award 2023
- CUGB Pioneer Teaching Excellence Award 2024