On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M21Reichenbach: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "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..." |
(No difference)
|
Revision as of 17:51, 11 August 2022
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. The talk is largely based on the following papers: - Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021) - Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)
