Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, and Markus Schordan. From Trusted Annotations to Verified Knowledge. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{prantl_et_al:OASIcs.WCET.2009.2282, author = {Prantl, Adrian and Knoop, Jens and Kirner, Raimund and Kadlec, Albrecht and Schordan, Markus}, title = {{From Trusted Annotations to Verified Knowledge}}, booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-14-9}, ISSN = {2190-6807}, year = {2009}, volume = {10}, editor = {Holsti, Niklas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2282}, URN = {urn:nbn:de:0030-drops-22828}, doi = {10.4230/OASIcs.WCET.2009.2282}, annote = {Keywords: WCET analysis, annotations, binary tightening, binary widening, model checking, CBMC} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, and Markus Schordan. WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{holsti_et_al:OASIcs.WCET.2008.1663, author = {Holsti, Niklas and Gustafsson, Jan and Bernat, Guillem and Ballabriga, Cl\'{e}ment and Bonenfant, Armelle and Bourgade, Roman and Cass\'{e}, Hugues and Cordes, Daniel and Kadlec, Albrecht and Kirner, Raimund and Knoop, Jens and Lokuciejewski, Paul and Merriam, Nicholas and de Michiel, Marianne and Prantl, Adrian and Rieder, Bernhard and Rochange, Christine and Sainrat, Pascal and Schordan, Markus}, title = {{WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--23}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1663}, URN = {urn:nbn:de:0030-drops-16637}, doi = {10.4230/OASIcs.WCET.2008.1663}, annote = {Keywords: WCET analysis, benchmark} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, and Jens Knoop. Towards a Common WCET Annotation Language: Essential Ingredients. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kirner_et_al:OASIcs.WCET.2008.1657, author = {Kirner, Raimund and Kadlec, Albrecht and Prantl, Adrian and Schordan, Markus and Knoop, Jens}, title = {{Towards a Common WCET Annotation Language: Essential Ingredients}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1657}, URN = {urn:nbn:de:0030-drops-16575}, doi = {10.4230/OASIcs.WCET.2008.1657}, annote = {Keywords: Worst-case execution time (WCET) analysis, annotation languages, WCET annotation language challenge} }
Published in: OASIcs, Volume 8, 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08) (2008)
Adrian Prantl, Markus Schordan, and Jens Knoop. TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. In 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08). Open Access Series in Informatics (OASIcs), Volume 8, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{prantl_et_al:OASIcs.WCET.2008.1661, author = {Prantl, Adrian and Schordan, Markus and Knoop, Jens}, title = {{TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis}}, booktitle = {8th International Workshop on Worst-Case Execution Time Analysis (WCET'08)}, pages = {1--8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-10-1}, ISSN = {2190-6807}, year = {2008}, volume = {8}, editor = {Kirner, Raimund}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2008.1661}, URN = {urn:nbn:de:0030-drops-16611}, doi = {10.4230/OASIcs.WCET.2008.1661}, annote = {Keywords: Worst-case execution time (WCET) analysis, Tool Chain, Flow Constraints, Source-To-Source} }
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} }
Published in: OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Ingomar Wenzel. WCET Analysis: The Annotation Language Challenge. In 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07). Open Access Series in Informatics (OASIcs), Volume 6, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{kirner_et_al:OASIcs.WCET.2007.1197, author = {Kirner, Raimund and Knoop, Jens and Prantl, Adrian and Schordan, Markus and Wenzel, Ingomar}, title = {{WCET Analysis: The Annotation Language Challenge}}, booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)}, pages = {1--17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-05-7}, ISSN = {2190-6807}, year = {2007}, volume = {6}, editor = {Rochange, Christine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1197}, URN = {urn:nbn:de:0030-drops-11974}, doi = {10.4230/OASIcs.WCET.2007.1197}, annote = {Keywords: Worst-case execution time analysis, WCET, path description, annotation language challenge, expressiveness, convenience} }
Feedback for Dagstuhl Publishing