http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM21Reichenbach 2026-04-05T21:06:43Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M21Reichenbach&diff=2317&oldid=prev 2022-08-11T15:52:59Z

<p></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 17:52, 11 August 2022</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</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>Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis.  In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses.</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>Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on <ins style="font-weight: bold; text-decoration: none;">(frontend-level) </ins>program analysis.  In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses.</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;"><div>The talk is largely based on the following papers:</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>The talk is largely based on the following papers:</div></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><del style="font-weight: bold; text-decoration: none;">- </del>Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021)</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> </div></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><del style="font-weight: bold; text-decoration: none;">- </del>Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)</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><ins style="font-weight: bold; text-decoration: none;">* </ins>Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021)</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>Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)</div></td></tr> </table>

Creichen http://mw.hh.se/wg211/index.php?title=WG211/M21Reichenbach&diff=2316&oldid=prev 2022-08-11T15:51:47Z

<p>Created page with &quot;Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis. In this talk I will discuss two bug detecti...&quot;</p> <p><b>New page</b></p><div>Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on program analysis. In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses.<br /> The talk is largely based on the following papers:<br /> - Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection&#039; (OOPSLA 2021)<br /> - Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis&#039; (SCAM 2021)</div>

Creichen