HTML Export for Dagstuhl Seminar Proceedings, Volume 8161

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 8161, </h2>
<ul>
<li>
    <span class="authors">Florian Martin, Hanne Riis Nielson, Claudio Riva, and Markus Schordan</span>
    <span class="title">08161 Abstracts Collection – Scalable Program Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.1">10.4230/DagSemProc.08161.1</a>
</li>
<li>
    <span class="authors">Johann Blieberger</span>
    <span class="title">Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.2">10.4230/DagSemProc.08161.2</a>
</li>
<li>
    <span class="authors">Jens Knoop</span>
    <span class="title">Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.3">10.4230/DagSemProc.08161.3</a>
</li>
<li>
    <span class="authors">Dave Binkley</span>
    <span class="title">Dependence Cluster Causes</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.4">10.4230/DagSemProc.08161.4</a>
</li>
<li>
    <span class="authors">Cristina Cifuentes and Bernhard Scholz</span>
    <span class="title">Parfait - Designing a Scalable Bug Checker</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.5">10.4230/DagSemProc.08161.5</a>
</li>
<li>
    <span class="authors">Lars Gesellensetter</span>
    <span class="title">Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.6">10.4230/DagSemProc.08161.6</a>
</li>
<li>
    <span class="authors">Markus Schordan</span>
    <span class="title">Source-To-Source Analysis with SATIrE - an Example Revisited</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.7">10.4230/DagSemProc.08161.7</a>
</li>
<li>
    <span class="authors">Daniel J. Quinlan, Gergö Barany, and Thomas Panas</span>
    <span class="title">Towards Distributed Memory Parallel Program Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.8">10.4230/DagSemProc.08161.8</a>
</li>
<li>
    <span class="authors">Gergö Barany</span>
    <span class="title">Value Flow Graph Analysis with SATIrE</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08161.9">10.4230/DagSemProc.08161.9</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode