Huawei Forum on Software Engineering FrontiersAPSEC 2024

The Huawei Forum on Software Engineering Frontiers is jointly sponsored by the School of Big Data and Software at Chongqing University and Huawei Technologies Co., Ltd. The forum has invited top experts in the field of software engineering research and technical experts from Huawei to conduct academic exchanges and discussions on cooperation. There will be a number of invited talks by senior and young researchers. The forum will be held during the APSEC conference on December 6, 2024.

Security Issues in Programming Languages

Baowen Xu is a professor at Nanjing University. He is a recipient of the National Science Fund for Distinguished Young Scholars, the director of the Huawei-Nanjing University Joint Laboratory for New Software Technologies, a fellow of the China Computer Federation, the honorary director of the Technical Committee on Information Systems, a senior member of the Technical Committee on Software Engineering and the Technical Committee on Information Systems, and the vice chairman and secretary-general of the Jiangsu Hailian Education Foundation. He has been engaged in the research of programming languages and related fields since the 1980s and is a major pioneer in the fields of program analysis and software testing in China. He has published more than 500 papers. As the first completer, he has won the first prize of provincial and ministerial level Science and Technology Progress (Natural Science) for four times. Many of his students have successively won the National Hundred Excellent Doctoral Dissertations, CCF Young Scientist Awards, etc.

Functional Test Generation Based on Migration

Lu Zhang is a professor at the School of Computer Science, Peking University, P.R. China. He received both PhD and BSc in Computer Science from Peking University in 2000 and 1995 respectively. He was a postdoctoral researcher in Oxford Brookes University and University of Liverpool, UK. He served on the program committees of many prestigious conferences, such FSE, OOPSLA, ISSTA, and ASE. He was a program co-chair of SCAM2008 and a program co-chair of ICSME17. He has been on the editorial boards of Journal of Software Maintenance and Evolution: Research and Practice and Software Testing, Verification and Reliability. His current research interests include software testing and analysis, program comprehension, software maintenance and evolution, and software reuse.

Research on Blockchain Reliability

Zibin Zheng is a Professor and the Dean of the School of Software Engineering at Sun Yat-sen University, China. He is an IEEE Fellow, an IET Fellow, an ACM Distinguished Scientist, the deputy director of the National Digital Home Engineering Technology Research Center, and the director of the Guangdong Blockchain Engineering Technology Research Center. He has published many papers, with more than 40,000 Google Scholar citations and an H-index of 92. He is a principal investigator of many projects, including the National Key R&D Project and the Natural Science Foundation Key Project. He has won the Second Prize of Natural Science of the Ministry of Education, the Second Prize of Natural Science of Wu Wenjun Artificial Intelligence, and the ACM SIGSOFT Distinguished Paper Award. His research interests include trusted large models, blockchain, Web3, and software reliability.

Towards Building Reliable AI-Enabled Cyber-Physical Systems: A Quality Assurance Perspective

Jianjun Zhao is a Professor at the Faculty of Information Science and Electrical Engineering at Kyushu University. Prior to this, he held positions at the Fukuoka Institute of Technology and Shanghai Jiao Tong University. He earned his B.S. degree from Tsinghua University and his Ph.D. from Kyushu University. His research interests lie in software engineering and programming languages, with a current focus on developing techniques to enhance the robustness, reliability, security, and maintainability of AI and quantum software, making them easier to specify, build, and improve.

Towards Safe Large Language Models

Jun Sun is a Professor at Singapore Management University (SMU). He earned his Bachelor’s and Ph.D. degrees in Computer Science from the National University of Singapore (NUS) in 2002 and 2006, respectively, and has been a faculty member since 2010. Professor Sun’s research interests span AI safety, software engineering, formal methods, and more. He is passionate about designing algorithms to solve challenging real-world problems and is equally devoted to enjoying life. Professor Sun has published over 100 CCF-A journal articles and conference papers. His work has been recognized with ACM Distinguished Paper Awards multiple times. For more information, please visit his website: https://sunjun.site.

Intelligent Failure Diagnosis for Software-Intensive Systems

Hongyu Zhang is Distinguished Professor and Dean of School of Big Data and Software Engineering, Chongqing University, China. He is also an honorary professor at the University of Newcastle, Australia. He received his PhD degree from National University of Singapore in 2003. His research is in the area of Software Engineering, in particular, software analytics, maintenance, and intelligent software engineering. The main theme of his research is to improve software quality and developer productivity by mining software data. He has published more than 250 research papers in reputable international journals and conferences, and received 8 ACM Distinguished Paper/Best Paper awards. He is a Distinguished Member of ACM, a Senior Member of IEEE, and a Fellow of Engineers Australia (FIEAust). He is a recipient of David Parnas Fellowship in 2024. More information about him can be found at: https://sites.google.com/site/hongyujohn.

Intelligent Software Development by Integrating LLMs with Domain Knowledge

Cuiyun Gao, Associate Professor at the School of Computer Science and Technology, Harbin Institute of Technology (Shenzhen). Her main research areas concentrate on Intelligent Software Engineering towards realible and secure software. She has published more than 70 papers in prestigious journals and conferences including Transactions on Software Engineering (TSE), ACM Transactions on Software Engineering and Methodology (TOSEM), International Conference on Software Engineering (ICSE), and Foundations of Software Engineering (FSE), etc. She has received several awards which indicate her expertise in the area, including the Distinguished Paper Award at ICSE 2024 and ASE 2023, Best Paper Award of the Industry Challenge Track at ICSE 2024, and the Best Student Paper Award at ACAIT 2022.

Repository-Level Code Generation: Practice and Thinking

Yanlin Wang is an Assistant Professor of Software Engineering School at Sun Yat-sen University with university's "Hundred Talents Plan." Prior to joining Sun Yat-sen University, she was a Senior Researcher at Microsoft Research Asia. Wang obtained her Ph.D. from the University of Hong Kong under the supervision of Dr. Bruno Oliveira and obtained Bachelor's degree from Zhejiang University. Her primary research interests lie in the field of intelligent software engineering. She has published over thirty academic papers in top-tier conferences and journals such as ICSE, ISSTA, ASE, AAAI, and ACL. Wang has been awarded the ACM SIGSOFT Distinguished Paper Award three times and received the Best Paper Award at Modularity 2016. She is serving on the organizing committee of FSE 2025 and has been a PC member for several conferences including ICSE, ISSTA, and FSE.

Invited Talks