<div dir="ltr">





<p class="gmail-p1" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:"Helvetica Neue""><span class="gmail-s1" style="font-kerning:none">In this talk, we identify some well-known software verification problems, using real-world examples from open-source projects and see how we might apply some deep learning principles to address them.<span class="gmail-Apple-converted-space">  </span>In the various points where we may test the Java runtime, we find candidates for deep learning.<span class="gmail-Apple-converted-space">  </span>What is required?<span class="gmail-Apple-converted-space">  </span>We need a problem to solve, a model that describes it, and a large amount of data to feed the neural network. <span class="gmail-Apple-converted-space"> </span></span></p>
<p class="gmail-p2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:"Helvetica Neue";min-height:17px"><span class="gmail-s1" style="font-kerning:none"></span><br></p>
<p class="gmail-p1" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:"Helvetica Neue""><span class="gmail-s1" style="font-kerning:none">We will step through a simple example of where and how to apply deep learning to more effectively test Java runtimes.<span class="gmail-Apple-converted-space">  </span>By covering the basics of deep learning and the simple example, the intent of this presentation is to spark curiosity and generate ideas on future applications of this machine learning approach to problem-solving.</span></p>
<p class="gmail-p2" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:"Helvetica Neue";min-height:17px"><span class="gmail-s1" style="font-kerning:none"></span><br></p>
<p class="gmail-p3" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial"><span class="gmail-s1" style="font-kerning:none">Recording: acceptable under CC-BY-2.0 license</span></p>
<p class="gmail-p4" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial;min-height:17px"><span class="gmail-s1" style="font-kerning:none"></span><br></p>
<p class="gmail-p3" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial"><span class="gmail-s1" style="font-kerning:none">Speaker Bio:</span></p>
<p class="gmail-p3" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial"><span class="gmail-s1" style="font-kerning:none">Shelley Lambert is the Test Lead for IBM Runtime Technologies team. She and her team test open and freely available JDK implementations and have delivered the test strategy, test code base, and test frameworks into the Eclipse OMR, Eclipse OpenJ9 and AdoptOpenJDK projects. She is a committer at OpenJ9 and AdoptOpenJDK and draws stories and lessons from her experiences in the open projects where she is most active.</span></p>
<p class="gmail-p5" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial"><span class="gmail-s1" style="font-kerning:none"><br>
</span></p>
<p class="gmail-p3" style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:normal;font-family:Arial"><span class="gmail-s1" style="font-kerning:none">Blog URL: <a href="https://8thdaytesting.com/">https://8thdaytesting.com/</a></span></p></div>