Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs
Automated runtime complexity analysis can help developers detect egregious performance issues. Existing runtime complexity analysis are often done for imperative programs using static analysis. In this demo paper, we demonstrate the implementation and usage of Dynaplex, a dynamic analysis tool that computes the asymptotic runtime complexity of recursive programs. Dynaplex infers \emph{recurrence relations} from execution traces and solve them for a closed-form complexity bound. Experimental results show that Dynaplex can infer a wide range of complexity bounds (eg: logarithmic, polynomial, exponential, non-polynomial) with great precision (eg: $O(n^{\log_{2}3})$ for karatsuba). A video demonstration of Dynaplex usage is available at https://youtu.be/t7dhwZ7fbVs
Mon 9 MayDisplayed time zone: Eastern Time (US & Canada) change
20:00 - 21:00 | Dynamic AnalysisDEMO - Demonstrations at ICSE Demo room 1 Chair(s): Shiyi Wei University of Texas at Dallas | ||
20:00 15mDemonstration | Common Data Guided Crash Injection for Cloud Systems DEMO - Demonstrations Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Qianwang Dai Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Pre-print Media Attached | ||
20:15 15mDemonstration | Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs DEMO - Demonstrations Didier Ishimwe University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, KimHao Nguyen University of Nebraska-Lincoln Pre-print Media Attached | ||
20:30 15mDemonstration | DistFax: A Toolkit for Measuring Interprocess Communications and Quality of Distributed Systems DEMO - Demonstrations Xiaoqin Fu Washington State University, Boxiang Lin Washington State University, Haipeng Cai Washington State University, USA DOI Pre-print Media Attached | ||