http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23Kellogg 2026-04-05T21:08:27Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23Kellogg&diff=2605&oldid=prev 2024-03-30T11:34:40Z

<p><span class="autocomment">Static Program Reduction via Specification Slicing (Martin Kellogg)</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:34, 30 March 2024</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5">Line 5:</td> <td colspan="2" class="diff-lineno">Line 5:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk is about work in progress.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk is about work in progress.</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Media:kellogg-slides.pdf | Slides]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Media:kellogg-slides.pdf | Slides]] <ins style="font-weight: bold; text-decoration: none;">(pdf)</ins></div></td></tr> </table>

Jeremy-y http://mw.hh.se/wg211/index.php?title=WG211/M23Kellogg&diff=2604&oldid=prev 2024-03-30T11:34:27Z

<p>Add Martin&#039;s slides</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:34, 30 March 2024</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4">Line 4:</td> <td colspan="2" class="diff-lineno">Line 4:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk is about work in progress.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk is about work in progress.</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Media:kellogg-slides.pdf | Slides]]</ins></div></td></tr> </table>

Jeremy-y http://mw.hh.se/wg211/index.php?title=WG211/M23Kellogg&diff=2559&oldid=prev 2024-03-15T21:55:44Z

<p>Jeremy-y moved page <a href="/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing" class="mw-redirect" title="WG211/M23Kellogg Static Program Reduction via Specification Slicing">WG211/M23Kellogg Static Program Reduction via Specification Slicing</a> to <a href="/wg211/index.php?title=WG211/M23Kellogg" title="WG211/M23Kellogg">WG211/M23Kellogg</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:55, 15 March 2024</td> </tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Jeremy-y http://mw.hh.se/wg211/index.php?title=WG211/M23Kellogg&diff=2556&oldid=prev 2024-03-13T19:59:31Z

<p>Add Martin Kellogg&#039;s talk details</p> <p><b>New page</b></p><div>== Static Program Reduction via Specification Slicing (Martin Kellogg) ==<br /> <br /> Program reduction is the process of making a program smaller while preserving a property of interest, such as the presence or absence of a particular warning from a compiler or other static analysis tool. Traditional approaches to program reduction are dynamic: they use a delta-debugging-like algorithm to iteratively reduce the program while preserving the property of interest. In this talk, I will present a static program reduction technique, called specification slicing, that exploits the modularity of extant analysis tools whose output we are interested in preserving (e.g., type systems) to accomplish program reduction without the need to repeatedly run the analysis. The key advantage of this program reduction technique are its cost and ease of application: it does not require that we run the analysis whose output we are trying to preserve at all, and so it can be run in a tight loop. I will also discuss new uses of program reduction that this advantage unlocks (especially in the context of combining verification tools and large language models).<br /> <br /> This talk is about work in progress.</div>

Jeremy-y