Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper Award
Wed 25 Aug 2021 21:00 - 21:10 - Analysis—Dynamic Analysis Chair(s): Kexin Pei
Dynamic program analysis is a long-standing technique for obtaining information about program execution. We present \emph{module recontextualization}, a new dynamic analysis approach that targets modern dynamic languages such as JavaScript and Racket, enabled by the fact that they feature a module-import mechanism that loads code at runtime as a string. This approach uses lightweight load-time code transformations that operate on the string representation of the module, as well as the context to which it is about to be bound, to insert developer-provided, analysis-specific code into the module before it is loaded. This code implements the dynamic analysis, enabling this approach to capture all interactions around the module in unmodified production language runtime environments. We implement this approach in two systems targeting the JavaScript and Racket ecosystems. Our evaluation shows that this approach can deliver order-of-magnitude performance improvements over state-of-the-art dynamic analysis systems while supporting a range of analyses, implemented on average in about 100 lines of code.
Wed 25 AugDisplayed time zone: Athens change
09:00 - 10:00 | Analysis—Dynamic AnalysisResearch Papers / Journal First +12h Chair(s): Dimitris Mitropoulos University of Athens, Valerio Terragni University of Auckland | ||
09:00 10mPaper | Efficient Module-Level Dynamic Analysis for Dynamic Languages with Module RecontextualizationDistinguished Paper Award Research Papers Nikos Vasilakis Massachusetts Institute of Technology, Grigoris Ntousakis TU Crete, Veit Heller n.n., Martin C. Rinard Massachusetts Institute of Technology DOI | ||
09:10 10mPaper | Seads: Scalable and Cost-Effective Dynamic Dependence Analysis of Distributed Systems via Reinforcement Learning Journal First Xiaoqin Fu Washington State University, Haipeng Cai Washington State University, USA, Wen Li , Li Li Monash University | ||
09:20 10mPaper | Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems Journal First Artem Polyvyanyy The University of Melbourne, Andreas Solti Vienna University of Economics and Business, Matthias Weidlich Humboldt-Universtität zu Berlin, Claudio Di Ciccio Department of Computer Science, Sapienza University of Rome, Jan Mendling Vienna University of Economics and Business | ||
09:30 30mLive Q&A | Q&A (Analysis—Dynamic Analysis) Research Papers |