[Eecs_bsee] EECS Research Seminar Talk-Towards Practical Software Quality Assurance Techniques via Automated Support of the Development and Usage Process

• Previous message: [Eecs_bsee] EECS Research Seminar Talk-Geometric and Geospatial Algorithms under Data Conundrums in Geographic Information Systems
• Next message: [Eecs_bsee] EECS Research Seminar Talk-Data-Driven Cyber-Physical Energy Systems
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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_bsee%40listserv.ohio.edu%7C6e4060b9afb44e26ace808dc33ed5dde%7Cf3308007477c4a70888934611817c55a%7C0%7C0%7C638442341794934726%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=q7%2FTUWSAdcjrkyeFmoA28bfK5yGcw1OL0YocCDd%2Fsss%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_bsee/attachments/20240222/cd4f850a/attachment.html 
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 11494 bytes
Desc: not available
URL: < http://listserv.ohio.edu/pipermail/eecs_bsee/attachments/20240222/cd4f850a/attachment.ics 
>

• Previous message: [Eecs_bsee] EECS Research Seminar Talk-Geometric and Geospatial Algorithms under Data Conundrums in Geographic Information Systems
• Next message: [Eecs_bsee] EECS Research Seminar Talk-Data-Driven Cyber-Physical Energy Systems
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]