Fri 19 Jul 2019 10:55 - 11:20 at Epernay - Workshop session

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 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Workshop sessionICOOOLPS at Epernay
10:30
25m
Research 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
25m
Research 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
25m
Research 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
25m
Research paper
Towards a Type System for R
ICOOOLPS
Alexi Turcotte Northeastern University, Jan Vitek Northeastern University