Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation

Michael Kruse 1, 2
2 GRAND-LARGE - Global parallel and distributed computing
LRI - Laboratoire de Recherche en Informatique, LIFL - Laboratoire d'Informatique Fondamentale de Lille, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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.
Type de document :
Autre publication
ACACES 2012 summer school. 2012
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01061505
Contributeur : Michael Kruse <>
Soumis le : samedi 6 septembre 2014 - 23:24:57
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : dimanche 7 décembre 2014 - 10:21:45

Fichiers

guide.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01061505, version 1
  • ARXIV : 1409.2089

Collections

Citation

Michael Kruse. Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation. ACACES 2012 summer school. 2012. 〈hal-01061505〉

Partager

Métriques

Consultations de la notice

446

Téléchargements de fichiers

353