Dagstuhl Seminar Proceedings, Volume 8161,

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