Biography: Dr. Jin-Song Dong is a professor at the School of Computing at the National University of Singapore (NUS) and he joined NUS in 1998. His research is in the areas of formal methods, safety and security systems, probabilistic reasoning, sports analytics, and trusted machine-learning/LLM-reasoning. He co-founded the PAT verification system which has attracted thousands of registered users from 1000+ organizations in 150 countries and won 20 Year ICFEM Most Influential System Award in 2018 (with Jun and Yang). He also co-founded “Silas: trusted machine learning” and the Dependable Intelligence company (www.depintel.com). He received a number of best paper awards including the ACM SIGSOFT Distinguished Paper Award for ICSE 2020. Jin Song has been on the editorial board of ACM Transaction on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. He has successfully supervised 27 PhD students and many of them have become tenured faculty members in leading universities around the world. He is a Fellow of the Institute of Engineers Australia. In his spare time, he developed Markov Decision Process (MDP) models for tennis strategy analysis in PAT and helped professional players in their pre-match analysis (beating the world's best). Jin Song is also a Grand Slam junior coach and enjoys coaching tennis to his 3 kids who all reached the #1 Singapore/Australia national junior ranking (two of his kids received NCAA Division 1 full scholarships, and his 2nd son Chen Dong played #1 singles for Australia in the Junior Davis Cup World Final and played Australian Open and US Open Junior Grand Slams). Getting more from the web: https://www.comp.nus.edu.sg/~dongjs/
Speech Title:
TBA
Abstract: TBA
Biography: Dr. Tadashi Dohi has served as a Full Professor at Hiroshima University, Japan, since 2002. He is currently appointed as Dean of School of Informatics and Data Science and Associate Dean of Graduate School of Advanced Science and Engineering, Hiroshima University. He received a Doctor of Engineering degree from Hiroshima University in 1995. His research interests include Software Reliability, Dependable Computing, Performance Evaluation, Operations Research. To date, his research has led to 260 journal papers, 320 peer-reviewed conference papers, 25 book editions, and 40 book chapters in the above research fields. Dr. Dohi is a Regular Member of the Institute of Electronics, Information and Communication Engineering (IEICE), Information Processing Society of Japan (IPSJ), Reliability Engineering Association of Japan (REAJ), a Fellow Member of the Operations Research Society of Japan (ORSJ), and a Senior Member of IEEE (Computer Society and Reliability Society). He was acting President of REAJ in 2018 and 2019. He has served as the General Chair of 15 international conferences, including ISSRE 2011, ATC 2012, DASC 2019, and ICECCS 2022. Of note, he was a founding member of the International Symposium on Advanced Reliability and Maintenance Modeling (APARM) and International Workshop on Software Aging and Rejuvenation (WoSAR). He has been a steering committee member in AIWARM/APARM, ISSRE, DASC, DSA. He has worked as a program committee member in several international premier conferences such as DSN, ISSRE, COMPSAC, SRDS, QRS, EDCC, PRDC, HASE, SAC, ICPE, among numerous others. He is an Associate Editor/Editorial Board Member of over 20 international journals, including IEEE Transactions on Reliability, Asia-Pacific Journal of Operational Research, and Journal of Risk and Reliability.
Speech Title:
Development of System Software Stack for RISC-V+AI Computility
Abstract: In recent years, the RISC-V open ISA has gained much progress rapidly and has become a focus of international technology competition. It has also become an effective way to consolidate industrial development consensus through open source and build a global industrial computility ecosystem. Although Nvidia's GPUs and CUDA software ecosystem currently dominate the global AI computing market, the industry urgently hopes to establish a new software ecosystem to break through CUDA ecosystem barriers. A gradually formed consensus is to use RISC-V AI chips as a common ground, unite related companies and universities/research institutes to jointly develop ISA AI extension standards in an open source and open manner, and cooperate in the development of an open-source AI system software stack on top of these standards. This presentation discusses this direction, its significant opportunities, and the strategies for addressing the faced challenges.
Biography: Tao Xie is a Peking University Chair Professor, Chair of the Department of Software Science and Engineering in the School of Computer Science at Peking University, and Chief Scientist of Beijing Institute of Open Source Chip. He was a Full Professor at the Department of Computer Science, the University of Illinois at Urbana-Champaign (UIUC), USA. He is a Foreign Member of Academia Europaea, and a Fellow of ACM, IEEE, AAAS, and China Computer Federation (CCF). He won NSF Faculty CAREER Award, ACM SIGSOFT Influential Educator Award, ACM SIGSOFT Distinguished Service Award, IEEE TCSE Distinguished Service Award, MSR Foundational Contribution Award, ASE 2021 Most Influential Paper Award, etc. He serves as Director of CCF Technical Committee of System Software (TCSS), RISC-V+AI Computility Ecosystem (RACE) Committee Chair, RISC-V International AI/ML SIG Chair, and Co-Editor-in-Chief of Wiley Journal of Software Testing, Verification and Reliability (STVR).