Dagstuhl Seminar Proceedings 08161

Scalable Program Analysis

F. Martin, H. R. Nielson, C. Riva, M. Schordan (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 08161, 13.04. - 18.04.2008
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Barany, Gergö
  • Binkley, Dave
  • Blieberger, Johann
  • Cifuentes, Cristina
  • Gesellensetter, Lars
  • Knoop, Jens
  • Martin, Florian
  • Panas, Thomas
  • Quinlan, Daniel J.
  • Riis Nielson, Hanne
  • Riva, Claudio
  • Scholz, Bernhard
  • Schordan, Markus

  •   
    08161 Abstracts Collection -- Scalable Program Analysis
    Authors: Martin, Florian ; Riis Nielson, Hanne ; Riva, Claudio ; Schordan, Markus

    Abstract | Document (190 KB) | BibTeX

    Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms
    Authors: Blieberger, Johann

    Abstract | Document (170 KB) | BibTeX

    Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis
    Authors: Knoop, Jens

    Abstract | Document (234 KB) | BibTeX

    Dependence Cluster Causes
    Authors: Binkley, Dave

    Abstract | Document (282 KB) | BibTeX

    Parfait - Designing a Scalable Bug Checker
    Authors: Cifuentes, Cristina ; Scholz, Bernhard

    Abstract | Document (277 KB) | BibTeX

    Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely
    Authors: Gesellensetter, Lars

    Abstract | Document (90 KB) | BibTeX

    Source-To-Source Analysis with SATIrE - an Example Revisited
    Authors: Schordan, Markus

    Abstract | Document (152 KB) | BibTeX

    Towards Distributed Memory Parallel Program Analysis
    Authors: Quinlan, Daniel J. ; Barany, Gergö ; Panas, Thomas

    Abstract | Document (556 KB) | BibTeX

    Value Flow Graph Analysis with SATIrE
    Authors: Barany, Gergö

    Abstract | Document (129 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI