About AxProf

AxProf is an algorithmic profiling framework for randomized approximate programs. Randomized approximate programs are used in multiple fields, such as big data analysis and approximate hardware simulation. Reasoning about the correctness of such programs requires the proper usage of appropriate statistical tests. AxProf accepts an accuracy specification as a formula in a mathematical notation and generates statistical reasoning code. See how to use AxProf in our tutorial.

Getting AxProf

AxProf is implemented in Python 3. It is distributed on GitHub under the Apache-2.0 license.

View on Github GitHub

Publications

  • Statistical Algorithmic Profiling for Randomized Approximate Programs artifact reusable
    Keyur Joshi, Vimuth Fernando, Sasa Misailovic
    41st ACM/IEEE International Conference on Software Engineering (ICSE 2019)
    Full Text