Abstract interpretation for worst and average case analysis

Authors:
Alessandra Di Pierro;Chris Hankin;Herbert Wiklicky
Affiliations:
Dipartimento di Informatica, University of Pisa, Italy;Department of Computing, Imperial College London, UK;Department of Computing, Imperial College London, UK
Venue:
Program analysis and compilation, theory and practice
Year:
2007

Citing 15
Cited 3

Abstract interpretation of declarative languages

Abstract interpretation of declarative languages
Reasoning About Time in Higher-Level Language Software

IEEE Transactions on Software Engineering
Stochastic Automata Network of Modeling Parallel Systems

IEEE Transactions on Software Engineering
Abstract interpretation and application to logic programs

Journal of Logic Programming
Concurrent constraint programming: towards probabilistic abstract interpretation

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Principles of Program Analysis

Principles of Program Analysis
Introducation to stochastic Petri nets

Lectures on formal methods and performance analysis
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Stochastic Petri Nets: An Introduction to the Theory

ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Abstract Interpretation of Probabilistic Semantics

SAS '00 Proceedings of the 7th International Symposium on Static Analysis
Timing Anomalies in Dynamically Scheduled Microprocessors

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Quantitative static analysis of distributed systems

Journal of Functional Programming
Formal analysis and validation of continuous-time Markov chain based system level power management strategies

HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop
On a probabilistic chemical abstract machine and the expressiveness of linda languages

FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Timing analysis and timing predictability

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects

A systematic approach to probabilistic pointer analysis

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
A game-based abstraction-refinement framework for Markov decision processes

Formal Methods in System Design
Probabilistic semantics and program analysis

SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We review Wilhelm's work on WCET for hard real-time applications and also recent work on analysis of soft-real time systems using probabilistic methods. We then present Probabilistic Abstract Interpretation (PAI) as a quantitative variation of the classical approach; PAI aims to provide close approximations - this should be contrasted to the safe approximations studied in the standard setting. We discuss the relation between PAI and classical Abstract Interpretation as well as average case analysis.