2/28/2024 update-this is being cancelled. Title: Towards Practical Software Quality Assurance Techniques via Automated Support of the Development and Usage Process Bio: Austin Mordahl is a final-year Ph.D. candidate at the University of Texas at Dallas. His research is in the area of Software Engineering. Specifically, he focuses on advancing the state-of-the-art in automated software quality assurance techniques (e.g., static program analysis and fuzz testing) through various techniques such as machine learning, and software testing and debugging. He regularly publishes at the top-tier software engineering conferences and journals, such as ICSE, FSE, ASE, ISSTA, and EMSE. He was a recipient of the prestigious National Science Foundation (NSF) Graduate Research Fellowship, and the Eugene McDermott Graduate Research Fellowship in 2020. Moreover, he won the ACM Student Research Competition at ICSE 2019. More information is available at https://austinmordahl.com<https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Faustinmordahl.com%2F&data=05%7C02%7Ceecs_mscs%40listserv.ohio.edu%7C6a6cf2ea4f114b6c0bf208dc388baac2%7Cf3308007477c4a70888934611817c55a%7C0%7C0%7C638447419742060171%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=2tNgFypoe2Rw%2BG0Dx0hSMCTgUbUAxouGbLXmPYtRn84%3D&reserved=0 >. Abstract: Automated software quality assurance approaches are an important guardrail against the proliferation of bugs and security issues in software. However, challenges like unreliable results, difficulty in configuration, and high false positive rates prevent many of these techniques from seeing widespread adoption. In this talk, I will present my work aimed at breaking these barriers to the usage of automated software quality assurance techniques, with a specific focus on static analysis. My work improves automated software quality assurance techniques along various dimensions throughout their development and usage processes; specifically, with regard to their reliability, usability, and applicability. First, I will share my experience improving the reliability of static analysis tools through the development of an automated testing and debugging framework, enabled by a novel theoretical model of static analysis tools' configuration spaces. This framework has allowed the detection of dozens of bugs in popular static analysis tools. Second, I will detail the work that aims to improve usability by adapting machine learning models to automate tedious, manual tasks in the usage process of static analysis tools, including configuring these tools for specific target programs and classifying false positives. Finally, I will provide my vision for the future of automatic software quality assurance techniques, which involves the improvement of the development and usage processes through automated, adaptive, and explainable techniques that provide a seamless developer and user experience. I will touch on three concrete research projects I plan to undertake in the next 5 years towards this vision. ________________________________________________________________________________ Microsoft Teams meeting Join on your computer, mobile app or room device Click here to join the meeting< https://teams.microsoft.com/l/meetup-join/19%3ameeting_YWNkMzI3NDYtMTgzNC00YWNkLWJjNDItZGYwNTk0OWVlZGFh%40thread.v2/0?context=%7b%22Tid%22%3a%22f3308007-477c-4a70-8889-34611817c55a%22%2c%22Oid%22%3a%22685c3f4f-29d5-4141-ada5-0fdeab8480e4%22%7d > Meeting ID: 285 477 416 394 Passcode: yfBShH Download Teams< https://www.microsoft.com/en-us/microsoft-teams/download-app > | Join on the web< https://www.microsoft.com/microsoft-teams/join-a-meeting > Or call in (audio only) +1 614-706-6572,,311623779#<tel:+16147066572,,311623779#> United States, Columbus Phone Conference ID: 311 623 779# Find a local number< https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=311623779 > | Reset PIN< https://dialin.teams.microsoft.com/usp/pstnconferencing > [ https://www.ohio.edu/sites/default/files/2018-11/invite_logo_teams.jpg ] If you encounter issues with this meeting, please visit the Help link. If you are not able to resolve the problems, please contact the meeting organizer to let them know you are having difficulty. Learn More< https://aka.ms/JoinTeamsMeeting > | Help< https://www.ohio.edu/oit/services/collaboration/teams/help > | Meeting options< https://teams.microsoft.com/meetingOptions/?organizerId=685c3f4f-29d5-4141-ada5-0fdeab8480e4&tenantId=f3308007-477c-4a70-8889-34611817c55a&threadId=19_meeting_YWNkMzI3NDYtMTgzNC00YWNkLWJjNDItZGYwNTk0OWVlZGFh@thread.v2&messageId=0&language=en-US > ________________________________________________________________________________ -------------- next part -------------- An HTML attachment was scrubbed... URL: < http://listserv.ohio.edu/pipermail/eecs_mscs/attachments/20240228/0ae12fac/attachment.html > -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: text/calendar Size: 13044 bytes Desc: not available URL: < http://listserv.ohio.edu/pipermail/eecs_mscs/attachments/20240228/0ae12fac/attachment.ics >
(740) 593–9381 | Building 21, The Ridges
Ohio University | Athens OH 45701 | 740.593.1000 ADA Compliance | © 2018 Ohio University . All rights reserved.