<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Calibri Light";
panose-1:2 15 3 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
{font-family:"Segoe UI Semibold";
panose-1:2 11 7 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri Light",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Title:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Towards Practical Software Quality Assurance Techniques via<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Automated Support of the Development and Usage Process<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Bio:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Austin Mordahl is a final-year Ph.D. candidate at the University of Texas at Dallas. His research<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">is in the area of Software Engineering. Specifically, he focuses on advancing the state-of-the-art<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">in automated software quality assurance techniques (e.g., static program analysis and fuzz<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">testing) through various techniques such as machine learning, and software testing and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">debugging. He regularly publishes at the top-tier software engineering conferences and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">journals, such as ICSE, FSE, ASE, ISSTA, and EMSE. He was a recipient of the prestigious<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">National Science Foundation (NSF) Graduate Research Fellowship, and the Eugene McDermott<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Graduate Research Fellowship in 2020. Moreover, he won the ACM Student Research<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Competition at ICSE 2019. More information is available at
<a href="https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Faustinmordahl.com%2F&data=05%7C02%7Ceecs_bscs%40listserv.ohio.edu%7C6e4060b9afb44e26ace808dc33ed5dde%7Cf3308007477c4a70888934611817c55a%7C0%7C0%7C638442341792590884%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=qSi4FjGKDjyTwOx1%2Fdw64dTqlALIj4JAgugSpof1xv0%3D&reserved=0" originalsrc="https://austinmordahl.com/" shash="M8CigjYawC8gISBYxwq8E8HhqrzbfDByQcCSZSkFxbMPy2cgIzopgHXoI8y+n+bcC+XJLV4YtBvb0MIHhgZOZyozxfb/frv3/lGs6Y+I6z1DXcZDus/cPleDBj7m8Bt0WoBpV4cr72+tpTYpnWGYg0bjCXvW2Obm0TZCMQpc9TE=">
https://austinmordahl.com</a>.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Abstract:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Automated software quality assurance approaches are an important guardrail against the<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">proliferation of bugs and security issues in software. However, challenges like unreliable results,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">difficulty in configuration, and high false positive rates prevent many of these techniques from<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">seeing widespread adoption. In this talk, I will present my work aimed at breaking these barriers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">to the usage of automated software quality assurance techniques, with a specific focus on static<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">analysis. My work improves automated software quality assurance techniques along various<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">dimensions throughout their development and usage processes; specifically, with regard to their<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">reliability, usability, and applicability. First, I will share my experience improving the reliability of<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">static analysis tools through the development of an automated testing and debugging<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">framework, enabled by a novel theoretical model of static analysis tools’ configuration spaces.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">This framework has allowed the detection of dozens of bugs in popular static analysis tools.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Second, I will detail the work that aims to improve usability by adapting machine learning<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">models to automate tedious, manual tasks in the usage process of static analysis tools,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">including configuring these tools for specific target programs and classifying false positives.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Finally, I will provide my vision for the future of automatic software quality assurance techniques,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">which involves the improvement of the development and usage processes through automated,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">adaptive, and explainable techniques that provide a seamless developer and user experience. I<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">will touch on three concrete research projects I plan to undertake in the next 5 years towards<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri Light",sans-serif">this vision.<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<span style="mso-ligatures:none"><o:p></o:p></span></p>
</div>
<div>
<div style="margin-top:.25in;margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-size:18.0pt;font-family:"Segoe UI",sans-serif;color:#252424">Microsoft Teams meeting</span><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:15.0pt">
<div>
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Join on your computer, mobile app or room device</span></b><b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></b></p>
</div>
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="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" target="_blank"><span style="font-size:10.5pt;font-family:"Segoe UI Semibold",sans-serif;color:#6264A7">Click
here to join the meeting</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:15.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Meeting ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">285 477 416 394</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><br>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Passcode:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">yfBShH
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://www.microsoft.com/en-us/microsoft-teams/download-app" target="_blank"><span style="color:#6264A7">Download Teams</span></a> |
<a href="https://www.microsoft.com/microsoft-teams/join-a-meeting" target="_blank">
<span style="color:#6264A7">Join on the web</span></a><o:p></o:p></span></p>
</div>
</div>
</div>
<div style="margin-bottom:3.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Or call in (audio only)</span></b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="tel:+16147066572,,311623779# "><span style="font-size:10.5pt;color:#6264A7">+1 614-706-6572,,311623779#</span></a>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"> United States, Columbus
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Phone Conference ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">311 623 779#
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div style="margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=311623779" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Find a local number</span></a>
| <a href="https://dialin.teams.microsoft.com/usp/pstnconferencing" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Reset PIN</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424;mso-ligatures:none"><img border="0" width="188" height="30" style="width:1.9583in;height:.3125in" id="_x0000_i1025" src="https://www.ohio.edu/sites/default/files/2018-11/invite_logo_teams.jpg"></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">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. <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:.25in">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://aka.ms/JoinTeamsMeeting" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Learn More</span></a> |
<a href="https://www.ohio.edu/oit/services/collaboration/teams/help" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Help</span></a> | <a href="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" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Meeting options</span></a> <o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<o:p></o:p></p>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Calibri Light";
panose-1:2 15 3 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
{font-family:"Segoe UI Semibold";
panose-1:2 11 7 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri Light",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Title:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Towards Practical Software Quality Assurance Techniques via<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Automated Support of the Development and Usage Process<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Bio:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Austin Mordahl is a final-year Ph.D. candidate at the University of Texas at Dallas. His research<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">is in the area of Software Engineering. Specifically, he focuses on advancing the state-of-the-art<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">in automated software quality assurance techniques (e.g., static program analysis and fuzz<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">testing) through various techniques such as machine learning, and software testing and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">debugging. He regularly publishes at the top-tier software engineering conferences and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">journals, such as ICSE, FSE, ASE, ISSTA, and EMSE. He was a recipient of the prestigious<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">National Science Foundation (NSF) Graduate Research Fellowship, and the Eugene McDermott<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Graduate Research Fellowship in 2020. Moreover, he won the ACM Student Research<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Competition at ICSE 2019. More information is available at
<a href="https://nam11.safelinks.protection.outlook.com/?url=https%3A%2F%2Faustinmordahl.com%2F&data=05%7C02%7Ceecs_bscs%40listserv.ohio.edu%7C6e4060b9afb44e26ace808dc33ed5dde%7Cf3308007477c4a70888934611817c55a%7C0%7C0%7C638442341792590884%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=qSi4FjGKDjyTwOx1%2Fdw64dTqlALIj4JAgugSpof1xv0%3D&reserved=0" originalsrc="https://austinmordahl.com/" shash="M8CigjYawC8gISBYxwq8E8HhqrzbfDByQcCSZSkFxbMPy2cgIzopgHXoI8y+n+bcC+XJLV4YtBvb0MIHhgZOZyozxfb/frv3/lGs6Y+I6z1DXcZDus/cPleDBj7m8Bt0WoBpV4cr72+tpTYpnWGYg0bjCXvW2Obm0TZCMQpc9TE=">
https://austinmordahl.com</a>.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Abstract:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Automated software quality assurance approaches are an important guardrail against the<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">proliferation of bugs and security issues in software. However, challenges like unreliable results,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">difficulty in configuration, and high false positive rates prevent many of these techniques from<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">seeing widespread adoption. In this talk, I will present my work aimed at breaking these barriers<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">to the usage of automated software quality assurance techniques, with a specific focus on static<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">analysis. My work improves automated software quality assurance techniques along various<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">dimensions throughout their development and usage processes; specifically, with regard to their<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">reliability, usability, and applicability. First, I will share my experience improving the reliability of<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">static analysis tools through the development of an automated testing and debugging<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">framework, enabled by a novel theoretical model of static analysis tools’ configuration spaces.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">This framework has allowed the detection of dozens of bugs in popular static analysis tools.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Second, I will detail the work that aims to improve usability by adapting machine learning<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">models to automate tedious, manual tasks in the usage process of static analysis tools,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">including configuring these tools for specific target programs and classifying false positives.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">Finally, I will provide my vision for the future of automatic software quality assurance techniques,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">which involves the improvement of the development and usage processes through automated,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">adaptive, and explainable techniques that provide a seamless developer and user experience. I<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-family:"Calibri Light",sans-serif">will touch on three concrete research projects I plan to undertake in the next 5 years towards<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri Light",sans-serif">this vision.<o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<span style="mso-ligatures:none"><o:p></o:p></span></p>
</div>
<div>
<div style="margin-top:.25in;margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-size:18.0pt;font-family:"Segoe UI",sans-serif;color:#252424">Microsoft Teams meeting</span><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:15.0pt">
<div>
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Join on your computer, mobile app or room device</span></b><b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></b></p>
</div>
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="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" target="_blank"><span style="font-size:10.5pt;font-family:"Segoe UI Semibold",sans-serif;color:#6264A7">Click
here to join the meeting</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:15.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Meeting ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">285 477 416 394</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><br>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Passcode:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">yfBShH
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://www.microsoft.com/en-us/microsoft-teams/download-app" target="_blank"><span style="color:#6264A7">Download Teams</span></a> |
<a href="https://www.microsoft.com/microsoft-teams/join-a-meeting" target="_blank">
<span style="color:#6264A7">Join on the web</span></a><o:p></o:p></span></p>
</div>
</div>
</div>
<div style="margin-bottom:3.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Or call in (audio only)</span></b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="tel:+16147066572,,311623779# "><span style="font-size:10.5pt;color:#6264A7">+1 614-706-6572,,311623779#</span></a>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"> United States, Columbus
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Phone Conference ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">311 623 779#
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div style="margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=311623779" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Find a local number</span></a>
| <a href="https://dialin.teams.microsoft.com/usp/pstnconferencing" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Reset PIN</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424;mso-ligatures:none"><img border="0" width="188" height="30" style="width:1.9583in;height:.3125in" id="_x0000_i1025" src="https://www.ohio.edu/sites/default/files/2018-11/invite_logo_teams.jpg"></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">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. <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:.25in">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://aka.ms/JoinTeamsMeeting" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Learn More</span></a> |
<a href="https://www.ohio.edu/oit/services/collaboration/teams/help" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Help</span></a> | <a href="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" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Meeting options</span></a> <o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<o:p></o:p></p>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>