Dagstuhl Seminar Proceedings 08161
Scalable Program Analysis
F. Martin, H. R. Nielson, C. Riva, M. Schordan (Eds.)
published by LZI
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
|
Imprint
|
Privacy