{"title":"主题演讲#1:用于自动软件缺陷检测和修复的智能程序分析","authors":"T. Nguyen","doi":"10.1109/nics51282.2020.9335884","DOIUrl":null,"url":null,"abstract":"Detecting and fixing software defects are important in developing reliable and high-quality software systems. Software defects are so prevalent and detrimental that they cost billion dollars annually. In this talk, I will present the latest, advanced research in leveraging intelligent program analysis and combining with machine learning to automatically detect and fix software defects and vulnerabilities. I also present the challenges that the current state-of-the-art approaches in the field has been facing and the solutions in the new directions of intelligent program analysis and program representation learning. Finally, I will conclude the talk with the open challenges in the next steps in that direction.","PeriodicalId":308944,"journal":{"name":"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Keynote Talk #1: Intelligent Program Analysis for Automated Software Defect Detection and Fixing\",\"authors\":\"T. Nguyen\",\"doi\":\"10.1109/nics51282.2020.9335884\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Detecting and fixing software defects are important in developing reliable and high-quality software systems. Software defects are so prevalent and detrimental that they cost billion dollars annually. In this talk, I will present the latest, advanced research in leveraging intelligent program analysis and combining with machine learning to automatically detect and fix software defects and vulnerabilities. I also present the challenges that the current state-of-the-art approaches in the field has been facing and the solutions in the new directions of intelligent program analysis and program representation learning. Finally, I will conclude the talk with the open challenges in the next steps in that direction.\",\"PeriodicalId\":308944,\"journal\":{\"name\":\"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-11-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/nics51282.2020.9335884\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 7th NAFOSTED Conference on Information and Computer Science (NICS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/nics51282.2020.9335884","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Keynote Talk #1: Intelligent Program Analysis for Automated Software Defect Detection and Fixing
Detecting and fixing software defects are important in developing reliable and high-quality software systems. Software defects are so prevalent and detrimental that they cost billion dollars annually. In this talk, I will present the latest, advanced research in leveraging intelligent program analysis and combining with machine learning to automatically detect and fix software defects and vulnerabilities. I also present the challenges that the current state-of-the-art approaches in the field has been facing and the solutions in the new directions of intelligent program analysis and program representation learning. Finally, I will conclude the talk with the open challenges in the next steps in that direction.