@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.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} }