Nowadays, compilers have become the fundamental infrastructures of information technology. However, compilers are also fault-prone, thus leading to unexpected behavior of programs under compilation. In this talk, we first discuss the main challenges for achieving dependable and trustworthy compilers. Thus, we demonstrate the main routines to tackle these challenges. In this talk, we also provide an overview of existing tools for verifying and testing compilers.
Professor, School of Software
Dean, Artificial Intelligence Institute, Dalian
Dalian University of Technology
Awardee of the National Science Fund for Excellent Young Scholars
Associate Editor of IEEE Transactions on Reliability
He Jiang received the Ph.D. degree in computer science from the University of Science and Technology of China, China. He is currently a professor and Ph.D. supervisor with Dalian University of Technology, China. He is one of the ten supervisors for the Outstanding Doctoral Dissertation of the CCF (China Computer Federation) in 2014. His current research interests include intelligent software engineering, industrial software testing, and compiler testing. His work has been published at premier venues like ICSE, SANER, and GECCO, as well as in major IEEE transactions like IEEE Transactions on Software Engineering, IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Reliability, IEEE Transactions on Cybernetics, and IEEE Transactions on Services Computing. He is a member of IEEE, ACM, and a distinguished member of CCF.