Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Florian Martin, Hanne Riis Nielson, Claudio Riva, and Markus Schordan. 08161 Abstracts Collection – Scalable Program Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{martin_et_al:DagSemProc.08161.1, author = {Martin, Florian and Riis Nielson, Hanne and Riva, Claudio and Schordan, Markus}, title = {{08161 Abstracts Collection – Scalable Program Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.1}, URN = {urn:nbn:de:0030-drops-15766}, doi = {10.4230/DagSemProc.08161.1}, annote = {Keywords: Static analysis, security, pointer analysis, data flow analysis, error detection, concurrency} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Johann Blieberger. Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{blieberger:DagSemProc.08161.2, author = {Blieberger, Johann}, title = {{Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms}}, booktitle = {Scalable Program Analysis}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.2}, URN = {urn:nbn:de:0030-drops-15722}, doi = {10.4230/DagSemProc.08161.2}, annote = {Keywords: Average case analysis, elimination-based data-flow analysis algorithms, reducible flow graphs} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Jens Knoop. Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{knoop:DagSemProc.08161.3, author = {Knoop, Jens}, title = {{Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.3}, URN = {urn:nbn:de:0030-drops-15753}, doi = {10.4230/DagSemProc.08161.3}, annote = {Keywords: Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Dave Binkley. Dependence Cluster Causes. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{binkley:DagSemProc.08161.4, author = {Binkley, Dave}, title = {{Dependence Cluster Causes}}, booktitle = {Scalable Program Analysis}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.4}, URN = {urn:nbn:de:0030-drops-15711}, doi = {10.4230/DagSemProc.08161.4}, annote = {Keywords: Data Dependence, Control Dependence, Slice, Cluster} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Cristina Cifuentes and Bernhard Scholz. Parfait - Designing a Scalable Bug Checker. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{cifuentes_et_al:DagSemProc.08161.5, author = {Cifuentes, Cristina and Scholz, Bernhard}, title = {{Parfait - Designing a Scalable Bug Checker}}, booktitle = {Scalable Program Analysis}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.5}, URN = {urn:nbn:de:0030-drops-15737}, doi = {10.4230/DagSemProc.08161.5}, annote = {Keywords: Static analysis, demand driven, parallelizable} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Lars Gesellensetter. Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gesellensetter:DagSemProc.08161.6, author = {Gesellensetter, Lars}, title = {{Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely}}, booktitle = {Scalable Program Analysis}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.6}, URN = {urn:nbn:de:0030-drops-15745}, doi = {10.4230/DagSemProc.08161.6}, annote = {Keywords: Program Analysis, Alias Analysis, Memory Depdencies, Speculative Optimizations, Machine Learning} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Markus Schordan. Source-To-Source Analysis with SATIrE - an Example Revisited. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{schordan:DagSemProc.08161.7, author = {Schordan, Markus}, title = {{Source-To-Source Analysis with SATIrE - an Example Revisited}}, booktitle = {Scalable Program Analysis}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.7}, URN = {urn:nbn:de:0030-drops-15693}, doi = {10.4230/DagSemProc.08161.7}, annote = {Keywords: Source-to-source analysis, ARAL, Annotation Language} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Daniel J. Quinlan, Gergö Barany, and Thomas Panas. Towards Distributed Memory Parallel Program Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{quinlan_et_al:DagSemProc.08161.8, author = {Quinlan, Daniel J. and Barany, Gerg\"{o} and Panas, Thomas}, title = {{Towards Distributed Memory Parallel Program Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.8}, URN = {urn:nbn:de:0030-drops-15685}, doi = {10.4230/DagSemProc.08161.8}, annote = {Keywords: Parallel computing, attribute evaluation, program analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Gergö Barany. Value Flow Graph Analysis with SATIrE. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{barany:DagSemProc.08161.9, author = {Barany, Gerg\"{o}}, title = {{Value Flow Graph Analysis with SATIrE}}, booktitle = {Scalable Program Analysis}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.9}, URN = {urn:nbn:de:0030-drops-15709}, doi = {10.4230/DagSemProc.08161.9}, annote = {Keywords: Partial redundancy elimination, value flow analysis, source-to-source optimization} }
Feedback for Dagstuhl Publishing