Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2012

Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation

Abstract

Most program profiling methods output the execution time of one specific program execution, but not its computational complexity class in terms of the big-O notation. Perfrewrite is a tool based on LLVM's Clang compiler to rewrite a program such that it tracks semantic information while the program executes and uses it to guess memory usage, communication and computational complexity. While source code instrumentation is a standard technique for profiling, using it for deriving formulas is an uncommon approach.
Fichier principal
Vignette du fichier
guide.pdf (92.94 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01061505 , version 1 (06-09-2014)

Identifiers

Cite

Michael Kruse. Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation. 2012. ⟨hal-01061505⟩
193 View
233 Download

Altmetric

Share

Gmail Facebook X LinkedIn More