Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
To use JavaScript for Internet of things (IoT), it is essential to reduce the size of the virtual machine (VM). Although operators in JavaScript is polymorphic, many application give only a limited datatypes of operands to operators. Thus, customizing VM so that the VM has only implementations of operators for such datatypes can reduce the size of the VM. In this research, we determine the set of operand datatypes that are possibly given to each operator for individual applications. Because JavaScript is a dynamically typed programming language, it is difficult to infer types accurately. Instead, as a practical approach, we obtain type information from executions of unit tests of the application. We implemented a system to record datatypes that are given to each operator in executions of unit tests for Jasmine. The system does not record operands of operators used in the execution framework or unit tests, but only records those used in the application in question selectively. We applied this system to two realistic applications and found it determined type information with high accuracy.
Fri 19 JulDisplayed time zone: Belfast change
10:30 - 12:10 | |||
10:30 25mResearch paper | Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code ICOOOLPS Johannes Henning Hasso Plattner Institute, David Stangl , Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI | ||
10:55 25mResearch paper | Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines ICOOOLPS Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan, Takafumi Kataoka | ||
11:20 25mResearch paper | Progress Report: Exploring API Design for Capabilities for Programming with Arrays ICOOOLPS Beatrice Ã…kerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University | ||
11:45 25mResearch paper | Towards a Type System for R ICOOOLPS |