Perfrewrite -- Program Complexity Analysis via Source Code Instrumentation

Michael Kruse

Type: Preprint

Publication Date: 2014-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.1409.2089

View Publication

Locations

arXiv (Cornell University) - View
HAL (Le Centre pour la Communication Scientifique Directe) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Macaw: A Machine Code Toolbox for the Busy Binary Analyst	2024	Ryan G. Scott Brett Boston Benjamin G. Davis Iavor S. Diatchki Mike Dodds Joe Hendrix Daniel Matichuk Kevin Quick Tristan Ravitch Valentin Robert
+	CANAL: A Cache Timing Analysis Framework via LLVM Transformation	2018	Chungha Sung Brandon Paulsen Chao Wang
+ PDF Chat	CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzers	2024	Théophile Bastian Hugo Pompougnac Alban Dutilleul Fabrice Rastello
+	Guiding Optimizations with Meliora: A Deep Walk down Memory Lane	2020	Kewen Meng Boyana Norris
+	mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity	2022	Clément Aubert Thomas Rubiano Neea Rusch Thomas Seiller
+	LifeJacket: Verifying precise floating-point optimizations in LLVM	2016	Andres Nötzli Fraser Brown
+	LifeJacket: Verifying precise floating- point optimizations in LLVM	2016	Andres Nötzli Fraser Brown
+	pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs	2021	Clément Aubert Thomas Rubiano Neea Rusch Thomas Seiller
+	ACPO: AI-Enabled Compiler-Driven Program Optimization	2023	Amir H. Ashouri Muhammad Asif Manzoor Duc Minh Vu Raymond Zhang Ziwen Wang Angel Zhang Bryan Chan Tomasz Czajkowski Yaoqing Gao
+ PDF Chat	CANAL: a cache timing analysis framework via LLVM transformation	2018	Chungha Sung Brandon Paulsen Chao Wang
+ PDF Chat	Fixed-Target Runtime Analysis	2021	Maxim Buzdalov Benjamin Doerr Carola Doerr Dmitry Vinokurov
+ PDF Chat	Fixed-Target Runtime Analysis	2020	Maxim Buzdalov Benjamin Doerr Carola Doerr D. A. Vinokurov
+ PDF Chat	Fixed-Target Runtime Analysis	2020	Maxim Buzdalov Benjamin Doerr Carola Doerr Dmitry Vinokurov
+ PDF Chat	Unveiling the Power of Intermediate Representations for Static Analysis: A Survey	2024	Bowen Zhang Wei Chen Hung-Chun Chiu Charles Zhang
+	LLVM Static Analysis for Program Characterization and Memory Reuse Profile Estimation	2023	Atanu Barai Nandakishore Santhi Abdur Razzak Stephan Eidenbenz Abdel‐Hameed A. Badawy
+ PDF Chat	LLVM Static Analysis for Program Characterization and Memory Reuse Profile Estimation	2023	Atanu Barai Nandakishore Santhi Abdur Razzak Stephan Eidenbenz Abdel‐Hameed A. Badawy
+ PDF Chat	pymwp: A Static Analyzer Determining Polynomial Growth Bounds	2023	Clément Aubert Thomas Rubiano Neea Rusch Thomas Seiller
+	Reducing the Overhead of Exact Profiling by Reusing Affine Variables	2024	Léon Frénot Fernando Magno Quintão Pereira
+	LifeJacket: verifying precise floating-point optimizations in LLVM	2016	Andres Nötzli Fraser Brown
+	Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)	2008	Filipe Cabecinhas Nuno P. Lopes Renato Crisostomo Luís Veiga

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (2)

Action	Title	Year	Authors
+ PDF Chat	tmLQCD: A program suite to simulate Wilson twisted mass lattice QCD	2009	Karl Jansen Carsten Urbach
+ PDF Chat	Schwarz-preconditioned HMC algorithm for two-flavor lattice QCD	2004	Martin Lüscher