tag:calagator.org,2005:/events/searchCalagator: Events tagged with: debugging2018-02-13T06:18:04-08:00tag:calagator.org,2005:Calagator::Event/12504595842011-01-04T16:47:21-08:002011-01-04T16:47:21-08:00Galois Tech Talk: Control-flow Graph Guided Exploration in DDTTuesday, January 11, 2011 from 10:30-11:30am at Galois, Inchttp://calagator.org/events/12504595842011-01-11T10:30:00-08:002011-01-11T11:30:00-08:00<div class="vevent">
<h1 class="summary">Galois Tech Talk: Control-flow Graph Guided Exploration in DDT</h1>
<div class='date'><time class="dtstart dt-start" title="2011-01-11T10:30:00" datetime="2011-01-11T10:30:00">Tuesday, January 11, 2011 from 10:30</time>–<time class="dtend dt-end" title="2011-01-11T11:30:00" datetime="2011-01-11T11:30:00">11:30am</time></div>
<div class="location vcard">
<a href='/venues/202390439' class='url'>
<span class='fn org'>Galois, Inc</span>
</a>
<div class="adr">
<div class="street-address">421 SW 6th Ave. Suite 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Presented by Rebekah Leslie.</p>
<p>The existing implementation of DDT uses a depth-first search algorithm to drive the exploration of new paths for testing. This algorithm provides full coverage of the program under test, but is limited by the fact that the number of paths increases exponentially with the size of the program. By employing the control-flow graph information of the program under test, we can direct the testing process towards program paths that contain unvisited points and therefore obtain full branch coverage in a smaller number of tests than would be required by the original depth-first search algorithm. We will present two uses of control-flow graph information in DDT. The first use is a refinement of depth-first search where control-flow graph information is used to prune the search space to eliminate unnecessary tests. The second use is in the context of a prioritized work-queue that forms the basis for a variety of sophisticated search algorithms that exploit different heuristics.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://corp.galois.com/blog/2011/1/4/tech-talk-control-flow-graph-guided-exploration-in-ddt.html">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/ddt">ddt</a>, <a class="p-category" href="/events/tag/debugging">debugging</a>, <a class="p-category" href="/events/tag/galois">galois</a>, <a class="p-category" href="/events/tag/tech talk">tech talk</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250459584.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250459584/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Tuesday, January 4, 2011 at 4:47pm</strong>.
</div>
</div>
</div>
45.5204 -122.6779tag:calagator.org,2005:Calagator::Event/12504596502011-01-18T14:07:44-08:002011-01-18T14:07:44-08:00Galois tech talk: Program Inconsistency Detection using Weakest PreconditionsTuesday, January 25, 2011 from 10:30-11:30am at Galois, Inchttp://calagator.org/events/12504596502011-01-25T10:30:00-08:002011-01-25T11:30:00-08:00<div class="vevent">
<h1 class="summary">Galois tech talk: Program Inconsistency Detection using Weakest Preconditions</h1>
<div class='date'><time class="dtstart dt-start" title="2011-01-25T10:30:00" datetime="2011-01-25T10:30:00">Tuesday, January 25, 2011 from 10:30</time>–<time class="dtend dt-end" title="2011-01-25T11:30:00" datetime="2011-01-25T11:30:00">11:30am</time></div>
<div class="location vcard">
<a href='/venues/202390439' class='url'>
<span class='fn org'>Galois, Inc</span>
</a>
<div class="adr">
<div class="street-address">421 SW 6th Ave. Suite 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Presented by Aaron Tomb.</p>
<p> Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the most common case: on large software systems that have only partial specifications describing correct behavior --- often a collection of independent assertions sprinkled throughout the program.</p>
<p>Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumptions. Existing approaches to inconsistency detection have used intentionally unsound techniques aimed at bug-finding rather than verification. In this dissertation, we describe an inconsistency detection analysis that subsumes previous work and is instead based on the foundation of the weakest precondition calculus.</p>
<p>We have applied our analysis to a large body of widely-used open-source software, and found a number of bugs.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://corp.galois.com/blog/2011/1/18/tech-talk-program-inconsistency-detection-using-weakest-prec.html">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/debugging">debugging</a>, <a class="p-category" href="/events/tag/formal methods">formal methods</a>, <a class="p-category" href="/events/tag/galois">galois</a>, <a class="p-category" href="/events/tag/static analysis">static analysis</a>, <a class="p-category" href="/events/tag/tech talk">tech talk</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250459650.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250459650/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Tuesday, January 18, 2011 at 2:07pm</strong>.
</div>
</div>
</div>
45.5204 -122.6779tag:calagator.org,2005:Calagator::Event/12504732682018-02-13T06:18:04-08:002018-02-13T06:18:04-08:00PDX Python and Pyladies PDX Present Monthly Presentation NightThursday, February 22, 2018 from 6:30-9:30pm at New Relichttp://calagator.org/events/12504732682018-02-22T18:30:00-08:002018-02-22T21:30:00-08:00<div class="vevent">
<h1 class="summary">PDX Python and Pyladies PDX Present Monthly Presentation Night</h1>
<div class='date'><time class="dtstart dt-start" title="2018-02-22T18:30:00" datetime="2018-02-22T18:30:00">Thursday, February 22, 2018 from 6:30</time>–<time class="dtend dt-end" title="2018-02-22T21:30:00" datetime="2018-02-22T21:30:00">9:30pm</time></div>
<div class="location vcard">
<a href='/venues/202392091' class='url'>
<span class='fn org'>New Relic</span>
</a>
<div class="adr">
<div class="street-address">111 SW 5th Avenue, Suite 2700</div>
<span class="locality">Portland</span>
, <span class="region">Oregon</span>
<span class="postal-code">97204</span>
<div class='country-name'>United States<div>
(<a href='https://maps.google.com/maps?q=111%20SW%205th%20Avenue,%20Suite%202700,%20Portland%20Oregon%2097204%20United%20States'>map</a>)
</div>
</div>
<div class="description">
<p>Come join us for Pythonic talks!</p>
<p>This month, we're proud to present talks covering both advanced and beginner-friendly topics.</p>
<p>Thanks to our speakers Emily Cain and Allan Feldman!</p>
<p>Emily Cain
Purrsistent Debugging</p>
<p>One of the most important skills for a software developer is debugging. How do we approach debugging? What tools do we learn? What skills are involved, and what habits do we pick up as we learn them? How do we teach and communicate about these skills?</p>
<p>In this talk, programmer, writer, and technology educator Emily Cain will explore these issues. Beginners will learn about key tools like PDB and the browser's debugger, as well as learning to inspect code and function outputs to look for patterns. Meanwhile, more advanced coders will learn techniques for understanding and discussing these skills, and gain a better perspective on how to help their more junior colleagues advance beyond the "Googling StackOverflow" stage of debugging. And everyone will get to look at adorable pictures of a particularly dedicated cat as she "debugs" her way into an infinite supply of snacks.</p>
<p>Allan Feldman
Reference cycles: what are they, how to detect them, and how to fix them</p>
<p>Let's talk about garbage! Ever had a long-running Python process whose memory usage seemed to grow over time? In this talk, Allan Feldman, Senior Software Engineer at New Relic, dives into Python internals to show how reference cycles can happen, how to find them in your code, and how to fix a cycle once found. You'll never look at garbage the same way again!</p>
<p>We'll also open things up for some 3-5 minute Lightning Talks afterward. Are you working on something cool or did you discover a new tool or package? Get up and talk about it!</p>
<p>Submit proposals for talks here:
<a href="http://bit.ly/portland-python-proposals">http://bit.ly/portland-python-proposals</a></p>
<p>All speakers and attendees must follow our code of conduct:
<a href="http://www.meetup.com/pdxpython/pages/Code_of_Conduct/">http://www.meetup.com/pdxpython/pages/Code_of_Conduct/</a></p>
<p>Join us after the meetup at Bailey's taproom at 213 SW Broadway to continue the discussion over a beverage.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="https://www.meetup.com/pdxpython/events/243259915/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/debugging">debugging</a>, <a class="p-category" href="/events/tag/engineering">engineering</a>, <a class="p-category" href="/events/tag/new relic">new relic</a>, <a class="p-category" href="/events/tag/programming">programming</a>, <a class="p-category" href="/events/tag/python"><img title="python" alt="python" src="/assets/tag_icons/python-7d0292f9705752d39a2459a8eab8946b2ac1f0ddec928d2d68267259586412e9.png" /> python</a>, <a class="p-category" href="/events/tag/software">software</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250473268.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250473268/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Tuesday, February 13, 2018 at 6:18am</strong>.
</div>
</div>
</div>
45.5225 -122.676