Everything about Runtime predictive analysis
Runtime predictive analysis is a runtime verification technique in computer science for detecting property violations in program executions inferred from an observed execution. An important class of predictive analysis methods has been developed for detecting concurrency errors in concurrent programs, where a runtime monitor is used to predict errors which did not happen in the observed run, but can happen in an alternative execution of the same program. The predictive capability comes from the fact that the analysis is performed on an abstract model extracted online from the observed execution, which admits a class of executions beyond the observed one. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Runtime predictive analysisA 5-minute orientation
- Pick up a classic book: Intelligent Information and Database SystemsThe most-reprinted book on the subject
- Read the landmark paper: Application Runtime Prediction for Scheduling CPU-GPU: AnalysisCited 0 times
- Go sideways: Profiling (computer programming)A closely related topic
- Go sideways: Dynamic program analysisA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Intelligent Information and Database SystemsAli Selamat · 2013
Principles of compiler designAlfred V. Aho, Jeffrey D. Ullman · 1977
Doing Data ScienceRachel Schutt, Cathy O'Neil · 2013
Research and Development in Intelligent Systems XXIXMax Bramer · 2012
Network and Parallel ComputingJames J. Park · 2012
Parallel programming, models, and applications in grid and p2p systemsFatos Xhafa · 2009
Introduction to compiler constructionParsons, Thomas W. · 1992
The Semantic Web – ISWC 2012Philippe Cudré-Mauroux · 2012
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Profiling (computer programming) In software engineering, profiling (program profiling, software profiling) is a form of dynamic program analysis that measures, for example, the space…
- Dynamic program analysis Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute…
- Tracing just-in-time compilation Tracing just-in-time compilation is a technique used by virtual machines to optimize the execution of a program at runtime. This is done by recording a…
- Speculative multithreading Thread Level Speculation (TLS), also known as Speculative Multi-threading, or Speculative Parallelization, is a technique to speculatively execute a section…
- Runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect…
- Astrée (static analysis) Astrée ("Analyseur statique de logiciels temps-réel embarqués") is a static analyzer based on abstract interpretation. It analyzes programs written in…
- Memory safety Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows…
- Just-in-time compilation Just-in-time (JIT) compilation (also dynamic translation or run-time compilations) is compilation of computer code during execution of a program at run…